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
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}, }