Toward Formal Verification of ECU for Gasoline Direct Injection Engines.

Masato Yamauchi Nobuhiro Ito Yoshinobu Kawabe

Published in: IIAI-AAI (2014)

Keyphrases

formal verification
fuel injection
model checking
diesel engine
high pressure
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
functional verification
heuristic search
temporal logic