29 citations · 67 across the 7 of their papers we have counts for
1 paper · 1 filter
Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
One of the main barriers preventing widespread use of formal methods is the elicitation of formal specifications. Formal specifications facilitate the testing and verification proc…