SMT-Based Bounded Model Checking for OSEK/VDX Applications.

Haitao Zhang Toshiaki Aoki Hsin-Hung Lin Min Zhang Yuki Chiba Kenro Yatake

Published in: APSEC (1) (2013)

Keyphrases

bounded model checking
model checking
formal verification
statistical machine translation
temporal logic
linear temporal logic
multi agent systems
machine translation
modulo theories
web services
probability distribution
general purpose
formal specification
description language