Formal Verification of Safety Architectures for Automated Driving.

Clovis Eberhart Jérémy Dubut James Haydon Ichiro Hasuo

Published in: IV (2023)

Keyphrases

formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
intelligent vehicles
fully automated
semi automated
traffic accidents
temporal logic
program slicing
real time
orders of magnitude
software systems