6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Matthias Cosler, Christopher Hahn, Daniel Mendoza +2
A rigorous formalization of desired system requirements is indispensable when performing any verification task. This often limits the application of verification techniques, as wri…