Model checking Petri nets with MSVL.
Ya ShiCong TianZhenhua DuanMengchu ZhouPublished in: Inf. Sci. (2016)
Keyphrases
- petri net
- model checking
- partial order reduction
- temporal logic
- process algebra
- reactive systems
- model checker
- formal specification
- concurrent systems
- formal verification
- automated verification
- finite state machines
- temporal properties
- service composition
- colored petri nets
- epistemic logic
- symbolic model checking
- process model
- transition systems
- web service composition
- verification method
- formal methods
- timed automata
- fuzzy petri net
- bounded model checking
- asynchronous circuits