71 citations · 169 across the 19 of their papers we have counts for
1 paper · 1 filter
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying…