Uclid

Results: 22



#Item
1Continued 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

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
2

PDF Document

Add to Reading List

Source URL: uclid.eecs.berkeley.edu

- Date: 2011-01-27 21:52:23
    3ATLAS: Automatic Term-Level Abstraction of RTL Designs Bryan A. Brady UC Berkeley

    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
      4The 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

      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
        5Appeared at DAC’03 A Hybrid SAT-Based Decision Procedure for Separation ∗ Logic with Uninterpreted Functions Sanjit A. Seshia

        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
          6Formal Modeling and Verification of CloudProxy Wei Yang Tan1 , Rohit Sinha1 , John L. Manferdelli2 , and Sanjit A. Seshia1 1 2

          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
            7A User’s Guide to ATLAS Version 0.2 Bryan A. Brady Sanjit A. Seshia

            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
              8Semantics-Aware Malware Detection Mihai Christodorescu∗ Somesh Jha∗ University of Wisconsin, Madison {mihai, jha}@cs.wisc.edu Sanjit A. Seshia† Dawn Song Randal E. Bryant†

              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
                9To appear at ICSE’05 Automatic Discovery of API-Level Exploits Vinod Ganapathy , Sanjit A. Seshia , Somesh Jha , Thomas W. Reps , Randal E. Bryant 

                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
                  10Appeared at LICS’04 Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds Sanjit A. Seshia Randal E. Bryant

                  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