Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions (2002)

by R E BRYANT, S K LAHIRI, S A SESHIA
Venue:in Proceedings of International Conference on Computer Aided Verification