dSPIN
From MaRDI portal
DSPIN
Cited in
(35)- scientific article; zbMATH DE number 1860613 (Why is no real title available?)
- Programming and verifying component ensembles
- scientific article; zbMATH DE number 1670550 (Why is no real title available?)
- scientific article; zbMATH DE number 1670561 (Why is no real title available?)
- scientific article; zbMATH DE number 2087620 (Why is no real title available?)
- CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings.
- Automated Technology for Verification and Analysis
- Model Checking Software
- scientific article; zbMATH DE number 2088654 (Why is no real title available?)
- scientific article; zbMATH DE number 1744960 (Why is no real title available?)
- scientific article; zbMATH DE number 2006660 (Why is no real title available?)
- Translating Java for multiple model checkers: The Bandera back-end
- Verifying time partitioning in the DEOS scheduling kernel
- Syntax-directed model checking of sequential programs
- jETI
- ET++
- veriSoft
- Uppaal2k
- SyncGen
- General Purpose Hash Function Library
- Bogor
- SymmSpin
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Bandera
- Java PathFinder
- Bebop
- vUML
- SCELlight
- Model Checking Software
- scientific article; zbMATH DE number 1863159 (Why is no real title available?)
- Space-reduction strategies for model checking dynamic software
- Load balancing parallel explicit state model checking
- Computer Aided Verification
- State Isomorphism in Model Programs with Abstract Data Structures
- Model checking dynamic memory allocation in operating systems
This page was built for software: dSPIN
