Journals in DBLP

STTT
2000, volume: 2, number: 4

1. George S. Avrunin, James C. Corbett, Matthew B. Dwyer
   Benchmarking Finite-State Verifiers. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:317-320 [Journal]
   
2. Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni
   SPIN Model Checking: An Introduction. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:321-327 [Journal]
   
3. Yonit Kesten, Amir Pnueli
   Control and Data Abstraction: The Cornerstones of Practical Formal Verification. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:328-342 [Journal]
   
4. Lynette I. Millett, Tim Teitelbaum
   Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:343-349 [Journal]
   
5. Willem Visser, Howard Barringer
   Practical CTL^* Model Checking: Should SPIN be Extended? [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:350-365 [Journal]
   
6. Klaus Havelund, Thomas Pressburger
   Model Checking JAVA Programs using JAVA PathFinder. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:366-381 [Journal]
   
7. René G. de Vries, Jan Tretmans
   On-the-fly Conformance Testing using SPIN. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:382-393 [Journal]
   
8. Moataz Kamel, Stefan Leue
   Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:394-409 [Journal]
   
9. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
   NUSMV: A New Symbolic Model Checker. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:410-425 [Journal]