Amir Pnueli
-
The localization reduction and counterexample-guided abstraction refinement
Time for verification