Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Mon 12 Jul 2021 14:20 - 14:40 at SPIN - Session 2 Chair(s): Sergio Mover

We propose a new method for accelerating the computation of a concurrency relation, that is all pairs of places in a Petri net that can be marked together. Our approach relies on a state space abstraction, that involves a mix between structural reductions and linear algebra, and a new data-structure that is specifically designed for our task. Our algorithms are implemented in a tool, called Kong, that we test on a large collection of models used during the 2020 edition of the Model Checking Contest. Our experiments show that the approach works well, even when a moderate amount of reductions applies.

Mon 12 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

14:00 - 15:00
Session 2SPIN at SPIN
Chair(s): Sergio Mover Ecole Polytechnique
14:00
20m
Talk
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
SPIN
Madoda Nxumalo University of Pretoria, Nils Timm University of Pretoria, Stefan Gruner University of Pretoria
14:20
20m
Talk
Accelerating the Computation of Dead and Concurrent Places using Reductions
SPIN
Nicolas Amat LAAS-CNRS, Silvano DAL ZILIO LAAS-CNRS, Didier Le Botlan LAAS-CNRS
14:40
20m
Coffee break
Coffee break
SPIN