14 citations · 23 across the 8 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SE2021
Is CADP an Applicable Formal Method?
Hubert Garavel, Frédéric Lang, Radu Mateescu +1
CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the e…
cs.DS2021
The VLSAT-2 Benchmark Suite
Pierre Bouvier, Hubert Garavel
This report presents VLSAT-2 (an acronym for "Very Large Boolean SATisfiability problems),the second part of a benchmark suite to be used in scientific experiments and softwarecomp…
cs.LO2021★ 2 cited
Proposal for Adding Useful Features to Petri-Net Model Checkers
Hubert Garavel
Solutions proposed for the longstanding problem of automatic decomposition of Petri nets into concurrent processes, as well as methods developed in Grenoble for the automatic conve…