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
dbpedia-owl:abstract	UCLID is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems.
dbpedia-owl:wikiPageExternalLink	http://www.eecs.berkeley.edu/~jha/ http://uclid.eecs.berkeley.edu/wiki/index.php/Main_Page http://www.cs.cmu.edu/~bryant/ http://www.eecs.berkeley.edu/~sseshia/research/uclid.html http://www.eecs.berkeley.edu/~bbrady/ http://www.eecs.berkeley.edu/~sseshia/
dbpprop:orphan	February 2009
dbpprop:refimprove	September 2010
dbpprop:wikiPageUsesTemplate	dbpedia:Template:Multiple_issues
dcterms:subject	category:SMT_solvers category:Theorem_proving_software_systems
rdf:type	yago:FormalMethods
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	fbase:Uclid
foaf:page	http://en.wikipedia.org/wiki/Uclid
is owl:sameAs of	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Uclid yago-res:Uclid
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Uclid