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