posted by user: mknapik || 283 views || tracked by 1 users: [display]

PARAMVERIFTUTORIAL 2017 : Tutorial on Parametric Verification (A tutorial of Petri Nets 2017)


When Jun 27, 2017 - Jun 27, 2017
Where Zaragoza, Spain
Submission Deadline TBD

Call For Papers


Call for Participation

Tutorial on Parametric Verification

(A tutorial of Petri Nets 2017)

Tuesday, the 27th of June 2017

Zaragoza, Spain


Modelling languages such as Petri Nets or Timed Automata allow for designing critical systems and model-checking their expected properties. However, all characteristics of the system under construction may not be known in advance. The nature of such unknown parts is manyfold, e.g.: the designer may have the choice of different components with similar behaviour and different timing constraints; there can be an a priori unknown number of identical processes present in the system; some actions can be controlled to be enabled or disabled, have different probabilities of occurring, etc. These situations can be captured by introducing parameters in particular on timings, actions, and probabilities.

In this tutorial, we focus on such parameterised models and their associated analysis techniques. These allow for tuning the actual values of parameters in order to satisfy expected properties. It also provides the designer with a set of adequate choices w.r.t. what the system should achieve.

The tutorial will present the underlying theory, the verification approaches, typical applications, and will put these into practice through hands-on sessions using IMITATOR, Romeo, and Spatula tools.



* Etienne Andre, Universite Paris 13, France

* Michal Knapik, IPI PAN, Warsaw, Poland

* Didier Lime, Ecole Centrale, LS2N, Nantes, France

* Wojciech Penczek, IPI PAN, Warsaw, and UPH Siedlce, Poland

* Laure Petrucci, Universite Paris 13, France

Related Resources

KR Workshops & Tutorials CFP 2018   KR18 - Preliminary Call for Tutorial and Workshop Proposals
IREHI 2017   International Rural and Elderly Health Informatics Tutorial Proposals
SDN/ONOS workshop 2017   2ed Paris SDN/ONOS Meetup and Technical Tutorial, May 29 2017, Paris/France
HVC 2017   Haifa Verification Conference
ICFEM 2017   19th International Conference on Formal Engineering Methods
Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
FMCAD 2017   Formal Methods in Computer-Aided Design