Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus.
Christian A. MüllerWolfgang J. PaulPublished in: CAV (2011)
Keyphrases
- safety critical
- formal methods
- communication protocol
- low cost
- real time
- formal analysis
- hardware designs
- high speed
- computer systems
- embedded systems
- formal specification
- user interface
- hardware implementation
- address event representation
- support systems
- knowledge based systems
- software engineering
- machine learning