Formal Verification of IEC 61499 Enhanced with Timed Events.
Viktor ShatrovValeriy VyatkinPublished in: DoCEIS (2020)
Keyphrases
- formal verification
- model checking
- timed automata
- model checker
- bounded model checking
- symbolic model checking
- event detection
- automated verification
- petri net
- distributed systems
- finite state machines
- control system
- interactive evolutionary computation
- functional verification
- smart grid
- temporal logic
- temporal relations
- program slicing
- software engineering
- expert systems