Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems.

Li Huang Tian Liang Eun-Young Kang

Published in: CoRR (2019)

Keyphrases

formal verification
automated verification
expert systems
distributed systems
model checking
computer systems
retrieval systems
management system
knowledge based systems
dynamic environments
graph theory
dynamic behavior
model checker
spare parts