Experience with predicate abstraction (1999)

by S DAS, D DILL, S PARK
Venue:In Proceedings of the Conference on Computer-Aided Verification (CAV). Lecture Notes in Computer Science