Stop the war!
Остановите войну!
for scientists:
default search action
Formal Methods in System Design, Volume 25
Volume 25, Number 1, July 2004
- Jens Chr. Godskesen:
Connectivity Testing. 5-38 - Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson:
Using Forward Reachability Analysis for Verification of Lossy Channel Systems. 39-65 - Karen Yorav, Orna Grumberg:
Static Analysis for State-Space Reductions Preserving Temporal Logics. 67-96
Volume 25, Number 2-3, September 2004
- Natasha Sharygina:
Guest Editorial. 103 - Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav:
Predicate Abstraction of ANSI-C Programs Using SAT. 105-127 - Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav:
Efficient Verification of Sequential and Concurrent C Programs. 129-166 - Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington:
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. 167-198 - Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath:
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. 199-240 - Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin:
Lessons Learned from Model Checking a NASA Robot Controller. 241-270
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.