Login / Signup
Counterexample-guided simulation framework for formal verification of flexible automation systems.
Sandeep Patil
Valeriy Vyatkin
Cheng 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