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