20 citations · 66 across the 13 of their papers we have counts for
1 paper · 1 filter
Arie Gurfinkel, Marsha Chechik
There is a growing interest in techniques for detecting whether a logic specification is satisfied too easily, or vacuously. For example, the specification "every request is eventu…