Login / Signup

Formal verification of weakly-hard systems.

Chao HuangWenchao LiQi Zhu
Published in: HSCC (2019)
Keyphrases
  • formal verification
  • automated verification
  • complex systems
  • expert systems
  • model checking
  • data sets
  • neural network
  • symbolic model checking