The UCLID Decision Procedure

Shuvendu K. Lahiri and Sanjit A. Seshia. The UCLID Decision Procedure. In Proc. 16th International Conference on Computer-Aided Verification (CAV), pp. 475–478, LNCS 3114, Springer-Verlag, July 2004.

Download

[pdf]  [ps] 

Abstract

(unavailable)

BibTeX

@inproceedings{lahiri-cav04,
 author    = {Shuvendu K. Lahiri and
              Sanjit A. Seshia},
 title     = {The {UCLID} Decision Procedure},
 booktitle = CAV04,
 series = "LNCS 3114",
 publisher = "Springer-Verlag",
 month = "July", 
 year = "2004",
 pages     = {475--478},
}