dSPIN

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