On-the-fly TCTL model checking for time Petri nets.
Rachid HadjidjHanifa BouchenebPublished in: Theor. Comput. Sci. (2009)
Keyphrases
- reactive systems
- petri net
- model checking
- partial order reduction
- temporal logic
- transition systems
- symbolic model checking
- fuzzy petri net
- colored petri nets
- service composition
- finite state machines
- model checker
- process algebra
- concurrent systems
- formal specification
- formal verification
- epistemic logic
- temporal properties
- verification method
- knowledge based systems
- software architecture
- timed automata
- automated verification
- modal logic
- computation tree logic
- artificial intelligence