Checking

Results: 4283



#Item
141Saturation algorithms for model-checking pushdown systems∗ Arnaud Carayol Matthew Hague LIGM

Saturation algorithms for model-checking pushdown systems∗ Arnaud Carayol Matthew Hague LIGM

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English - Date: 2014-06-02 12:07:33
    142He’s always checking in on me... Is my relationship healthy? 1 in 3 women will experience

    He’s always checking in on me... Is my relationship healthy? 1 in 3 women will experience

    Add to Reading List

    Source URL: www.myplanapp.org

    - Date: 2018-01-03 13:18:07
      143Data-Driven Equivalence Checking Rahul Sharma Eric Schkufza Berkeley Churchill

      Data-Driven Equivalence Checking Rahul Sharma Eric Schkufza Berkeley Churchill

      Add to Reading List

      Source URL: raw.githubusercontent.com

      Language: English
        144CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2003; 00:1–15 Prepared using CPEAuth.cls [Version: v2.02] Checking Ownership and Confinement Alex Potanin

        CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2003; 00:1–15 Prepared using CPEAuth.cls [Version: v2.02] Checking Ownership and Confinement Alex Potanin

        Add to Reading List

        Source URL: homepages.ecs.vuw.ac.nz

        Language: English - Date: 2008-08-10 00:13:40
          145Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

          Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

          Add to Reading List

          Source URL: www.cs.rhul.ac.uk

          Language: English - Date: 2013-02-08 18:19:57
            146Slandering Darwin (and Science, too) • There are so many false and Fact-Checking Ray Comfort’s “Special Introduction” to The Origin A Great Book, Spoiled

            Slandering Darwin (and Science, too) • There are so many false and Fact-Checking Ray Comfort’s “Special Introduction” to The Origin A Great Book, Spoiled

            Add to Reading List

            Source URL: www.millerandlevine.com

            Language: English - Date: 2009-11-18 14:10:22
              147Exact Quantitative Probabilistic Model Checking Through Rational Search Matthew S. Bauer∗ , Umang Mathur∗ , Rohit Chadha† , A. Prasad Sistla‡ and Mahesh Viswanathan∗ ∗ University of Illinois at Urbana-Champa

              Exact Quantitative Probabilistic Model Checking Through Rational Search Matthew S. Bauer∗ , Umang Mathur∗ , Rohit Chadha† , A. Prasad Sistla‡ and Mahesh Viswanathan∗ ∗ University of Illinois at Urbana-Champa

              Add to Reading List

              Source URL: www.cs.utexas.edu

              Language: English - Date: 2017-09-26 08:06:21
                148Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

                Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

                Add to Reading List

                Source URL: www.cs.bham.ac.uk.

                Language: English - Date: 2009-02-25 10:33:23
                  149Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA

                  Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA

                  Add to Reading List

                  Source URL: dept.cs.williams.edu

                  Language: English - Date: 2018-08-12 09:37:26
                    150Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan

                    Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan

                    Add to Reading List

                    Source URL: kennknowles.com

                    - Date: 2011-11-04 03:44:32