Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets.
Sine Viesmose BirchThomas Stig JacobsenJacob Jon JensenChristoffer MoesgaardNiels Nørgaard SamuelsenJirí SrbaPublished in: FORMATS (2014)
Keyphrases
- petri net
- partial order reduction
- model checking
- bounded model checking
- temporal logic
- concurrent processes
- concurrent systems
- timed automata
- formal specification
- formal verification
- service composition
- web service composition
- colored petri nets
- automated verification
- transition systems
- fuzzy petri net
- formal methods
- verification method
- process algebra
- symbolic model checking
- model checker
- process model
- asynchronous circuits
- finite state machines
- distributed systems