## Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions

Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. ** Modeling
and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions**. In *
Proc. 14th International Conference on Computer-Aided Verification (CAV)*, pp. 78–92, LNCS 2404 , July 2002.

### Download

### Abstract

(unavailable)

### BibTeX

@InProceedings{bryant-cav02, author = "Randal E. Bryant and Shuvendu K. Lahiri and Sanjit A. Seshia", title = "Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions", booktitle = CAV02, editor = "E. Brinksma and K. G. Larsen", series = "LNCS 2404 ", pages = "78--92", month = "July", year = "2002", }