Model Checking Contest @ Petri Nets, Report on the 2013 edition.
Fabrice KordonAlban LinardMarco BeccutiDidier BuchsLukasz FroncLom-Messan HillahFrancis Hulin-HubardFabrice Legond-AubryNiels LohmannAlexis MarechalEmmanuel Paviot-AdetFranck PommereauCésar RodríguezChristian RohrYann Thierry-MiegHarro WimmelKarsten WolfPublished in: CoRR (2013)
Keyphrases
- petri net
- partial order reduction
- model checking
- concurrent systems
- reactive systems
- temporal logic
- discrete event systems
- colored petri nets
- automated verification
- web service composition
- process algebra
- formal verification
- fuzzy petri net
- model checker
- service composition
- timed automata
- epistemic logic
- computation tree logic
- verification method
- concurrent processes
- process model