Applying Model Checking to an Automotive Microcontroller Application.

Bastian Schlich Falk Salewski Stefan Kowalewski

Published in: SIES (2007)

Keyphrases

model checking
temporal logic
finite state
finite state machines
formal verification

bounded model checking
computation tree logic
automated verification
reachability analysis
symbolic model checking

model checker
formal methods
verification method
process algebra
epistemic logic

formal specification
temporal properties
timed automata
linear time temporal logic
deterministic finite automaton