C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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