Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach.

Haitao Zhang Zhuo Cheng Cong Tian Yonggang Lu Guoqiang Li

Published in: ICIS (2016)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
finite state
statistical machine translation
formal specification
natural language
formal methods
general purpose
orders of magnitude