1 citations · 1 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.FL2014
Quotient of Acceptance Specifications under Reachability Constraints
Guillaume Verdier, Jean-Baptiste Raclet
The quotient operation, which is dual to the composition, is crucial in specification theories as it allows the synthesis of missing specifications and thus enables incremental des…