3 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Neta Elad, Oded Padon, Sharon Shoham
First-order logic, and quantifiers in particular, are widely used in deductive verification. Quantifiers are essential for describing systems with unbounded domains, but prove diff…