Formal Verification as a Design Tool - The Transponder Lock Example.
Reinhard BuddeAgathe MerceronKarl-Heinz SyllaPublished in: SAFECOMP (1996)
Keyphrases
- formal verification
- design tools
- model checking
- computer aided
- automated verification
- model checker
- concurrency control
- bounded model checking
- physical design
- symbolic model checking
- machine learning
- program slicing
- artificial intelligence
- database
- formal specification
- instructional design
- database management systems
- database systems