Model Checking CTLK Based on Knowledge-Oriented Petri Nets.
Leifeng HeGuanjun LiuPublished in: HPCC/SmartCity/DSS (2019)
Keyphrases
- petri net
- model checking
- partial order reduction
- concurrent systems
- process algebra
- temporal logic
- reactive systems
- discrete event systems
- temporal properties
- formal specification
- model checker
- automated verification
- knowledge acquisition
- formal verification
- colored petri nets
- symbolic model checking
- verification method
- knowledge base
- computation tree logic
- fuzzy petri net
- epistemic logic
- bounded model checking
- service composition
- finite state machines
- process model
- service oriented
- timed automata
- artificial intelligence
- web service composition