Automatic Creation of Environment Models via Training
- 1 January 2004
- 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 13 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Science and Business Media LLC ,2005
- An automated verification method for distributed systems software based on model extractionIEEE Transactions on Software Engineering, 2002
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Bebop: A Symbolic Model Checker for Boolean ProgramsLecture Notes in Computer Science, 2000
- Reactive ModulesFormal Methods in System Design, 1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Construction of abstract state graphs with PVSLecture Notes in Computer Science, 1997
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993