Login / Signup
Formal Verification in Automotive Industry: Enablers and Obstacles.
Mattias Nyberg
Dilian Gurov
Christian Lidström
Andreas Rasmusson
Jonas Westman
Published in:
ISoLA (4) (2018)
Keyphrases
</>
formal verification
automotive industry
model checking
mass customization
bounded model checking
model checker
automated verification
symbolic model checking
requirements engineering
artificial intelligence
control system
temporal logic