29 citations · 81 across the 19 of their papers we have counts for
3 papers · 1 filter
Real-Time Specification Patterns and Tools
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
An issue limiting the adoption of model checking technologies by the industry is the ability, for non-experts, to express their requirements using the property languages supported…
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…
A Verified Approach for Checking Real-Time Specification Patterns
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
We propose a verified approach to the formal verification of timed properties using model-checking techniques. We focus on properties expressed using real-time specification patter…