• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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