![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.