Abstract is missing.
- SAT-Based Counterexample Guided Abstraction RefinementEdmund M. Clarke. 1 [doi]
- Abstract Interpretation: Theory and PracticePatrick Cousot. 2-5 [doi]
- SPIN Tutorial: How to Become a SPIN DoctorTheo C. Ruys. 6-13 [doi]
- Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)Dennis Dams. 14-21 [doi]
- Symmetry Reduction Criteria for Software Model CheckingRadu Iosif. 22-41 [doi]
- Bytecode Model Checking: An Experimental AnalysisDavid A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga. 42-59 [doi]
- The Influence of Software Module Systems on Modular VerificationHarry C. Li, Kathi Fisler, Shriram Krishnamurthi. 60-78 [doi]
- Extending the Translation from SDL to PromelaArmelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux. 79-94 [doi]
- Model Checking Knowledge and TimeWiebe van der Hoek, Michael Wooldridge. 95-111 [doi]
- Partial Order Reduction in Directed Model CheckingAlberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue. 112-127 [doi]
- Local Parallel Model Checking for the Alternation-Free µ-CalculusBenedikt Bollig, Martin Leucker, Michael Weber 0002. 128-147 [doi]
- The Agreement Problem Protocol Verification EnvironmentJames S. Pascoe, Roger J. Loader, Vaidy S. Sunderam. 148-169 [doi]
- Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification ApproachHyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha. 170-186 [doi]
- Using SPIN to Verify Security Properties of Cryptographic ProtocolsPaolo Maggi, Riccardo Sisto. 187-204 [doi]
- Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPINRamazan Savas Aygün, Aidong Zhang. 205-212 [doi]
- SPINning Parallel Systems SoftwareOlga Shumsky Matlin, Ewing L. Lusk, William McCune. 213-220 [doi]
- Dynamic Bounds and Transition Merging for Local First SearchDenis Lugiez, Peter Niebert, Sarah Zennou. 221-229 [doi]
- Comparing Symbolic and Explicit Model Checking of a Software SystemCindy Eisner, Doron Peled. 230-239 [doi]
- Industrial Model Checking Based on Satisfiability SolversPer Bjesse. 240 [doi]
- A Typical Testing Problem: Validating WML CellphonesYves-Marie Quemener. 241 [doi]
- Heuristic Model Checking for Java ProgramsAlex Groce, Willem Visser. 242-245 [doi]
- System Specification and Verification Using High Level Concepts - A Tool DemonstrationChristian Stehno. 246-249 [doi]
- Demonstration of an Automated Integrated Test Environment for Web-Based ApplicationsTiziana Margaria, Oliver Niese, Bernhard Steffen. 250-253 [doi]
- alpha SPIN: Extending SPIN with AbstractionMaría-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel. 254-258 [doi]