ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Computing Surveys (CSUR), Volume 41 Issue 4, October 2009

Preface to special issue on software verification
C. A. R. Hoare, Jayadev Misra
Article No.: 18
DOI: 10.1145/1592434.1592435

Formal methods: Practice and experience
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John Fitzgerald
Article No.: 19
DOI: 10.1145/1592434.1592436

Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of...

Automated deduction for verification
Natarajan Shankar
Article No.: 20
DOI: 10.1145/1592434.1592437

Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very beginning. Satisfiability solvers for propositional and first-order logic significantly automate the...

Software model checking
Ranjit Jhala, Rupak Majumdar
Article No.: 21
DOI: 10.1145/1592434.1592438

We survey recent progress in software model checking.

...

The verified software initiative: A manifesto
C.A.R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
Article No.: 22
DOI: 10.1145/1592434.1592439