About: Uclid

UCLID is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems.

Property	Value
dbpprop:abstract	UCLID is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Uclid
dbpprop:reference	http://uclid.eecs.berkeley.edu/wiki/index.php/Main_Page http://www.eecs.berkeley.edu/~jha/beaver.html http://www.eecs.berkeley.edu/~sseshia/research/uclid.html
rdfs:comment	UCLID is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems.
rdfs:label	Uclid
owl:sameAs	freebase:Uclid
skos:subject	dbpedia:Category:Formal_methods dbpedia:Category:SMT_solvers dbpedia:Category:Theorem_proving_software_systems
foaf:page	http://en.wikipedia.org/wiki/Uclid