Model Checking Multithreaded Programs by Means of Reduced Models
Open Access
- 1 December 2004
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 110, 55-74
- https://doi.org/10.1016/j.entcs.2004.06.010
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Automatic verification of concurrent systems using a formula-based compositional approachActa Informatica, 2002
- Efficient model checking of properties of a distributed application: a multimedia case studySoftware Testing, Verification and Reliability, 2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Slicing Software for Model ConstructionHigher-Order and Symbolic Computation, 2000
- Selective Mu-Calculus and Formula-Based Equivalence of Transition SystemsJournal of Computer and System Sciences, 1999
- LORETO: a tool for reducing state explosion in verification of LOTOS programsSoftware: Practice and Experience, 1999
- A deadlock detection tool for concurrent Java programsSoftware: Practice and Experience, 1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994