While there have been some notable successes with program verification systems, a the use of such systems is still perceived as a niche activity for the most critical and specialized projects. 1, 23, ...

I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...