Half a century after Carl Adam Petri's Ph. D. thesis: A perspective on the field
M Silva - Annual reviews in control, 2013 - Elsevier
It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …
[HTML][HTML] TOOLympics 2019: An overview of competitions in formal methods
Abstract Evaluation of scientific contributions can be done in many different ways. For the
various research communities working on the verification of systems (software, hardware, or …
various research communities working on the verification of systems (software, hardware, or …
[HTML][HTML] Presentation of the 9th edition of the model checking contest
Abstract The Model Checking Contest (MCC) is an annual competition of software tools for
model checking. Tools must process an increasing benchmark gathered from the whole …
model checking. Tools must process an increasing benchmark gathered from the whole …
[图书][B] Foundations of multi-paradigm modelling for cyber-physical systems
This open access book coherently gathers well-founded information on the fundamentals of
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …
[图书][B] RERS 2019: combining synthesis with real-world models
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019.
For the first time in the history of RERS, the challenge features industrial tracks where …
For the first time in the history of RERS, the challenge features industrial tracks where …
Applying CEGAR to the Petri net state equation
H Wimmel, K Wolf - Tools and Algorithms for the Construction and …, 2011 - Springer
We propose a reachability verification technique that combines the Petri net state equation
(a linear algebraic overapproximation of the set of reachable states) with the concept of …
(a linear algebraic overapproximation of the set of reachable states) with the concept of …
[HTML][HTML] The RERS challenge: towards controllable and scalable benchmark synthesis
This paper (1) summarizes the history of the RERS challenge for the analysis and
verification of reactive systems, its profile and intentions, its relation to other competitions …
verification of reactive systems, its profile and intentions, its relation to other competitions …
High-level petri net model checking with alpina
S Hostettler, A Marechal, A Linard… - Fundamenta …, 2011 - content.iospress.com
Although model checking is heavily used in the hardware domain, it did not take off in
software engineering yet. One of the possible reasons is that software models are very …
software engineering yet. One of the possible reasons is that software models are very …
MCC'2017–the seventh model checking contest
Abstract Created in 2011, the Model Checking Contest (MCC) is an annual competition
dedicated to provide a fair evaluation of software tools that verify concurrent systems using …
dedicated to provide a fair evaluation of software tools that verify concurrent systems using …
Rers 2018: Ctl, ltl, and reachability
This paper is dedicated to the Rigorous Examination of Reactive Systems (RERS)
Challenge 2018. We focus on changes and improvements compared to previous years …
Challenge 2018. We focus on changes and improvements compared to previous years …