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