On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets.
Nicolas AmatBernard BerthomieuSilvano Dal-ZilioPublished in: Petri Nets (2021)
Keyphrases
- petri net
- partial order reduction
- model checking
- concurrent systems
- process algebra
- temporal logic
- reactive systems
- bounded model checking
- temporal properties
- discrete event systems
- colored petri nets
- concurrent processes
- web service composition
- formal verification
- computation tree logic
- model checker
- formal specification
- symbolic model checking
- finite state machines
- verification method
- transition systems
- automated verification
- artificial intelligence
- process model
- fuzzy petri net
- knowledge based systems