Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker.
Shimmi AsokanG. Santhosh KumarPublished in: ISED (2018)
Keyphrases
- model checker
- formal methods
- safety critical
- model checking
- formal verification
- communication protocol
- temporal logic
- description language
- symbolic model checking
- set theory
- formal specification
- test suite
- software engineering
- ai planning
- knowledge based systems
- concurrent systems
- artificial intelligence
- orders of magnitude
- knowledge base