[This piece is co-authored with Vsevolod Livinskii.] Formal verification isn’t some sort of magic pixie dust that we sprinkle over a computer system to make it better. Real formal verification involves a lot of the same kind of difficult, nasty, grungy engineering work that any other systems-level job involves…
Visit blog.regehr.org → RSS feedOn Hacker News May 2010 – Aug 2023
Software Engineering 34Programming Languages 20Systems & Performance 8Life, Learning & Writing 6Security & Privacy 5Career & Management 3
I don’t know if it helps, but Illinois CS distinguishes the two kinds of programs with two different degrees: MS in CS for the research program, and MCS for the coursework program. Most of the MS students receive funding andtuition waivers, while I’m not sure if the MCS students are even eligible for support.
Alas, our minds automatically fill in gaps and cover over mistakes when we read.