Volume 25, Issue 2-3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 25, Issue 2-3

September 2004

Software Model Checking

Issue Editor:

Natasha Sharygina

6 articles in this issue

Guest Editorial
Natasha Sharygina
Editorial Introduction Pages: 103 - 103
Predicate Abstraction of ANSI-C Programs Using SAT
Edmund Clarke
Daniel Kroening
Karen Yorav
OriginalPaper Pages: 105 - 127
Efficient Verification of Sequential and Concurrent C Programs
S. Chaki
E. Clarke
K. Yorav
OriginalPaper Pages: 129 - 166
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Guillaume Brat
Doron Drusinsky
Rich Washington
OriginalPaper Pages: 167 - 198
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
Matthew B. Dwyer
John Hatcliff
Venkatesh Prasad Ranganath
OriginalPaper Pages: 199 - 240
Lessons Learned from Model Checking a NASA Robot Controller
Natasha Sharygina
James Browne
Vladimir Levin
OriginalPaper Pages: 241 - 270