Software Model Checking
— Reading Material —
Most reading material will be distributed as part of the "Serious paper reading" assignments. Here are some additional resources.
John Mccarthy: Towards a Mathematical Science of Computation. In IFIP Congress, 1962.
(Note: the paper under this link says "1996" on the first page. This is apparently the year the article was latexed...)
Robert Floyd: Assigning Meaning to Programs. Symposium on Applied Mathematics, 1967.
On other software reliability methods
[Coverity team]: A few Billion Lines of code Later. Using static Analysis to find Bugs in the Real World, 2010.
M. Foley, Anthony Hoare: Proof of a recursive program: Quicksort, 1971.
Edmund Clarke, Allen Emerson: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, 1981.