Sign in

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.

Hao RenJing HuangShengbing JiangRatnesh Kumar
Published in: IET Cyper-Phys. Syst.: Theory & Appl. (2017)
Keyphrases
  • hybrid automata
  • formal verification
  • model checking
  • finite state automata
  • semidefinite
  • formal specification
  • relational databases
  • formal methods