Towards user-friendly model checking of IEC 61499 systems with counterexample explanation.

Polina Ovsiannikova Valeriy Vyatkin

Published in: ETFA (2021)

Keyphrases

model checking
user friendly
automated verification
temporal logic
finite state machines
formal verification
reactive systems
artifact centric
formal methods

finite state
asynchronous circuits
model checker
temporal properties
formal specification
reachability analysis
user interface
process algebra
symbolic model checking

pspace complete
verification method
timed automata
bounded model checking
distributed systems
partial order reduction
graphical interface
modal logic
transition systems

control system
computation tree logic
multi agent systems
epistemic logic
linear temporal logic
interactive data mining
software engineering
senior citizens