![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 26
Volume 26, Number 1, January 2005
- Doron A. Peled:
Introduction: Special Issue on Partial Order in Formal Methods. 5-6 - Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Deciding Global Partial-Order Properties. 7-25 - Igor Walukiewicz:
Difficult Configurations-On the Complexity of LTrL. 27-43 - Kimmo Varpaaniemi:
On Stubborn Sets in the Verification of Linear Time Temporal Properties. 45-67
Volume 26, Number 2, March 2005
- Scott D. Stoller, Willem Visser:
Foreword. 75-76 - Patrice Godefroid:
Software Model Checking: The VeriSoft Approach. 77-101 - John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger:
Verifying Time Partitioning in the DEOS Scheduling Kernel. 103-135 - Radu Iosif, Matthew B. Dwyer
, John Hatcliff:
Translating Java for Multiple Model Checkers: The Bandera Back-End. 137-180 - Scott D. Stoller, Fred B. Schneider:
Automated Analysis of Fault-Tolerance in Distributed Systems. 183-196 - Orna Grumberg, Tamir Heyman, Assaf Schuster:
Distributed Symbolic Model Checking for µ-Calculus. 197-219
Volume 26, Number 3, May 2005
- Christian Jacobi, Christoph Berg:
Formal Verification of the VAMP Floating Point Unit. 227-266 - Stavros Tripakis
, Sergio Yovine
, Ahmed Bouajjani:
Checking Timed Büchi Automata Emptiness Efficiently. 267-292 - T. Karvi, Tienari Tienari, Roope Kaivola:
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics. 293-317 - Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Reduced Models for Efficient CCS Verification. 319-350
![](https://dblp1.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.