Uclid - PDFSEARCH.IO - Document Search Engine

Uclid
Results: 22

#	Item
1	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
2	PDF Document Add to Reading List Source URL: uclid.eecs.berkeley.edu - Date: 2011-01-27 21:52:23
3	ATLAS: Automatic Term-Level Abstraction of RTL Designs Bryan A. Brady UC Berkeley Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:10
4	The UCLID Decision Procedure? Shuvendu K. Lahiri and Sanjit A. Seshia Carnegie Mellon University, Pittsburgh, PA , Abstract. UCLID is a tool for term-level modeling and verif Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:26
5	Appeared at DAC’03 A Hybrid SAT-Based Decision Procedure for Separation ∗ Logic with Uninterpreted Functions Sanjit A. Seshia Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:26
6	Formal Modeling and Verification of CloudProxy Wei Yang Tan1 , Rohit Sinha1 , John L. Manferdelli2 , and Sanjit A. Seshia1 1 2 Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2014-07-29 02:30:42
7	A User’s Guide to ATLAS Version 0.2 Bryan A. Brady Sanjit A. Seshia Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-05-30 13:49:46
8	Semantics-Aware Malware Detection Mihai Christodorescu∗ Somesh Jha∗ University of Wisconsin, Madison {mihai, jha}@cs.wisc.edu Sanjit A. Seshia† Dawn Song Randal E. Bryant† Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:26
9	To appear at ICSE’05 Automatic Discovery of API-Level Exploits Vinod Ganapathy , Sanjit A. Seshia , Somesh Jha , Thomas W. Reps , Randal E. Bryant Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:26
10	Appeared at LICS’04 Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds Sanjit A. Seshia Randal E. Bryant Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:26

UPDATE