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
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…