Login / Signup

Counterexample-guided simulation framework for formal verification of flexible automation systems.

Sandeep PatilValeriy VyatkinCheng Pang
Published in: INDIN (2015)
Keyphrases
  • formal verification
  • model checking
  • lightweight
  • main contribution
  • bounded model checking
  • automated verification
  • model checker
  • neural network
  • genetic algorithm
  • mathematical model
  • temporal logic
  • program slicing