Sign in
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