Showing cs.LOShow all
3 papers · 1 filter
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…
cs.LO2013★ 3 cited
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…
cs.LO2006
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
The Software Transactional Memory (STM) model is an original approach for controlling concurrent accesses to ressources without the need for explicit lock-based synchronization mec…