A Case Study: SOFL + Model Checking for OSEK/VDX Application.

Zhuo Cheng Haitao Zhang Yasuo Tan Yuto Lim

Published in: SOFL+MSVL (2015)

Keyphrases

model checking
temporal logic
temporal properties
finite state
formal specification
symbolic model checking
reachability analysis
finite state machines
formal verification
model checker
timed automata
partial order reduction
pspace complete
reactive systems
markov chain
epistemic logic