3 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Neta Elad, Sharon Shoham
First-order logic (FOL) has proved to be a versatile and expressive tool as the basis of abstract modeling languages. Used to verify complex systems with unbounded domains, such as…