Adding Value to Automotive Models
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 86-102
- https://doi.org/10.1007/11823063_7
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- CVC: A Cooperating Validity CheckerPublished by Springer Nature ,2002
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- Combining Theorem Proving and Model Checking through Symbolic AnalysisPublished by Springer Nature ,2000
- The Statemate Verification EnvironmentPublished by Springer Nature ,2000
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Verification of Hybrid Systems via Mathematical ProgrammingPublished by Springer Nature ,1999
- IsabellePublished by Springer Nature ,1994
- Verification of synchronous sequential machines based on symbolic executionPublished by Springer Nature ,1990
- MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGICPublished by Elsevier ,1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986