dSPIN
From MaRDI portal
Software:21867
No author found.
Related Items (22)
Model checking dynamic memory allocation in operating systems ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Programming and Verifying Component Ensembles ⋮ Automated Technology for Verification and Analysis ⋮ CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings. ⋮ State Isomorphism in Model Programs with Abstract Data Structures ⋮ Model Checking Software ⋮ Model Checking Software ⋮ Computer Aided Verification ⋮ Syntax-directed model checking of sequential programs ⋮ Verifying time partitioning in the DEOS scheduling kernel ⋮ Translating Java for multiple model checkers: The Bandera back-end
This page was built for software: dSPIN
