Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.
Guillermo Rodríguez-NavasCristina Cerschi SeceleanuHans HanssonMattias NybergOscar LjungkrantzHenrik LönnPublished in: DAC (2014)
Keyphrases
- formal verification
- functional verification
- asynchronous circuits
- traffic accidents
- formal methods
- protocol specification
- safety analysis
- model checking
- manual inspection
- neural network
- real time
- high level
- vehicle detection
- specification language
- road traffic
- computer aided
- user defined
- semi automated
- formal specification
- fully automated
- automated analysis
- routing decisions
- fuel consumption
- vehicle speed
- colored petri nets
- urban traffic
- face verification
- data sets