PNer: A Petri-Net-Based Model Checker for Computation Tree Logic.
Leifeng HeGuanjun LiuYantao SunPublished in: ICNSC (2023)
Keyphrases
- computation tree logic
- model checker
- model checking
- temporal logic
- formal verification
- epistemic logic
- bounded model checking
- symbolic model checking
- formal specification
- temporal properties
- transition systems
- formal methods
- modal logic
- satisfiability problem
- knowledge base
- knowledge acquisition
- concurrent systems
- rough sets