Login / Signup
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