Login / Signup
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.
Sandeep Patil
Victor Dubinin
Valeriy Vyatkin
Published in:
TrustCom/BigDataSE/ISPA (3) (2015)
Keyphrases
</>
formal verification
model checking
symbolic model checking
model checker
bounded model checking
program slicing
temporal logic
automated verification
real time
interactive evolutionary computation
dynamical systems
formal methods
functional verification