swMATH9888MaRDI QIDQ21867FDOQ21867
Author name not available (Why is that?)
Official website: http://www-verimag.imag.fr/~iosif/dspin/
Cited In (30)
- Syntax-directed model checking of sequential programs
- Title not available (Why is that?)
- Space-reduction strategies for model checking dynamic software
- Model checking dynamic memory allocation in operating systems
- Model Checking Software
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Model Checking Software
- Title not available (Why is that?)
- General Purpose Hash Function Library
- Bogor
- SymmSpin
- Bandera
- Java PathFinder
- Bebop
- vUML
- SCELlight
- Programming and verifying component ensembles
- CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings.
- Load balancing parallel explicit state model checking
- State Isomorphism in Model Programs with Abstract Data Structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Translating Java for multiple model checkers: The Bandera back-end
- Verifying time partitioning in the DEOS scheduling kernel
- Computer Aided Verification
- Title not available (Why is that?)
This page was built for software: dSPIN
