Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions.

Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia

Browse the full CAV paper archive.