Model-checking framework for embedded systems controllers development using IOPT Petri nets.
Fernando PereiraFilipe MoutinhoLuís GomesPublished in: ISIE (2012)
Keyphrases
- petri net
- model checking
- embedded real time systems
- embedded systems
- partial order reduction
- concurrent systems
- temporal logic
- reactive systems
- process algebra
- petri net model
- real time systems
- low cost
- formal verification
- commercial software
- colored petri nets
- formal specification
- bounded model checking
- modal logic
- fuzzy petri net
- process model
- real time
- epistemic logic
- formal methods
- verification method
- finite state machines
- reinforcement learning