research
∙
11/16/2021
Is CADP an Applicable Formal Method?
CADP is a comprehensive toolbox implementing results of concurrency theo...
share
research
∙
09/08/2021
The VLSAT-2 Benchmark Suite
This report presents VLSAT-2 (an acronym for "Very Large Boolean SATisfi...
research
∙
01/13/2021
Proposal for Adding Useful Features to Petri-Net Model Checkers
Solutions proposed for the longstanding problem of automatic decompositi...
research
∙
11/19/2020
The VLSAT-1 Benchmark Suite
This report presents VLSAT-1 (an acronym for "Very Large Boolean SATisfi...
research
∙
04/26/2020
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
This volume contains the proceedings of MARS 2020, the fourth workshop o...
research
∙
03/27/2018