12 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2021★ 2 cited
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.LO2013★ 12 cited
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
Frédéric Lang, Radu Mateescu
Partial model checking was proposed by Andersen in 1995 to verify a temporal logic formula compositionally on a composition of processes. It consists in incrementally incorporating…