An Embeddable Virtual Machine for State Space Generation
- 1 January 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- ”To Store or Not To Store” Reloaded: Reclaiming Memory on DemandLecture Notes in Computer Science, 2007
- Distributed Verification: Exploring the Power of Raw Computing PowerLecture Notes in Computer Science, 2007
- DiVinE – A Tool for Distributed VerificationLecture Notes in Computer Science, 2006
- Automatized Verification of Ad Hoc Routing ProtocolsLecture Notes in Computer Science, 2004
- BogorACM SIGSOFT Software Engineering Notes, 2003
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Science and Business Media LLC ,1999
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998
- The Polyadic π-Calculus: a TutorialPublished by Springer Science and Business Media LLC ,1993