On-the-fly TCTL model checking for Time Petri Nets using state class graphs.
Rachid HadjidjHanifa BouchenebPublished in: ACSD (2006)
Keyphrases
- petri net
- model checking
- partial order reduction
- concurrent systems
- temporal logic
- process algebra
- transition systems
- finite state machines
- reactive systems
- formal verification
- discrete event systems
- temporal properties
- fuzzy petri net
- formal specification
- web service composition
- colored petri nets
- state space
- symbolic model checking
- model checker
- service composition
- bounded model checking
- epistemic logic
- verification method
- graph theory
- timed automata
- distributed systems
- planning domains
- formal methods
- automated verification
- rough sets