Login / Signup
Formal verification of weakly-hard systems.
Chao Huang
Wenchao Li
Qi Zhu
Published in:
HSCC (2019)
Keyphrases
</>
formal verification
automated verification
complex systems
expert systems
model checking
data sets
neural network
symbolic model checking