11 citations · 26 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2010
Syntactic Abstraction of B Models to Generate Tests
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué +1
In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their s…
cs.LO2006★ 7 cited
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
Samir Chouali, Jacques Julliand, Pierre-Alain Masson +1
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified through…