Formal Verification of Real-Time Software by Symbolic Model-Checker.
Kazuhiro NakamuraSatoshi YamanePublished in: ACSD (1998)
Keyphrases
- formal verification
- model checker
- model checking
- program slicing
- formal methods
- automated verification
- bounded model checking
- symbolic model checking
- test suite
- temporal logic
- test cases
- description language
- transition systems
- formal specification
- general purpose
- high level
- artificial intelligence
- set theory
- software components
- fuzzy sets
- software engineering
- object oriented