Uclid

#	Item
21	Faculty Candidate Talk: Wednesday, April 6, 2005, 4-5 p.m. 306 Soda “Reasoning about Reliability and Security Using Boolean Methods” Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2005-03-07 18:39:06 Electronic design automation Formal methods NP-complete problems Logic in computer science Model theory Uclid Boolean satisfiability problem Decision problem Satisfiability Theoretical computer science Mathematics Computational complexity theory
22	A User’s Guide to UCLID version 1.0 Sanjit A. Seshia [removed] Shuvendu K. Lahiri [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-06-30 21:10:59 Data types C++ Type theory Procedural programming languages C programming language Constant Enumerated type Type system Typedef Software engineering Computing Computer programming