4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2015★ 1 cited
Real-Time Model Checking Support for AADL
B Berthomieu, J. -P Bodeveix, S Dal Zilio +4
We describe a model-checking toolchain for the behavioral verification of AADL models that takes into account the realtime semantics of the language and that is compatible with the…
cs.LO2013★ 4 cited
An Experiment on Parallel Model Checking of a CTL Fragment
Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu
We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm t…