The UCLID decision procedure (2004)

by S K Lahiri, S A Seshia
Venue:In Proc. of Intl. Conf. on Computer-Aided Verification (CAV). LNCS