Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.
Nicolas HalbwachsPascal RaymondPublished in: ASIAN (1999)
Keyphrases
- formal verification
- model checking
- reactive systems
- temporal logic
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- formal methods
- formal specification
- program slicing
- state machines
- information flow
- training set
- linear temporal logic
- information systems
- control flow
- planning domains
- web services
- artificial intelligence
- machine learning