29 citations · 58 across the 9 of their papers we have counts for
1 paper · 2 filters
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…