13 citations · 20 across the 6 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…