Correctness

Results: 732



#Item
41Static Program Analysis Mooly Sagiv Hoare Proof Rules for Partial Correctness {A} skip {A}

Static Program Analysis Mooly Sagiv Hoare Proof Rules for Partial Correctness {A} skip {A}

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2014-04-28 07:30:30
    42VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania

    VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania

    Add to Reading List

    Source URL: www.seas.upenn.edu

    - Date: 2015-04-10 14:47:36
      43Tips on correctness and debugging © 2015 Oracle, Mario Wolczko •

      Tips on correctness and debugging © 2015 Oracle, Mario Wolczko •

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

        44Static Program Analysis Mooly Sagiv Challenges in Proving Correctness • Specifying what the program is supposed to

        Static Program Analysis Mooly Sagiv Challenges in Proving Correctness • Specifying what the program is supposed to

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-04-28 09:12:07
          45Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Ar tifact

          Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Ar tifact

          Add to Reading List

          Source URL: ilyasergey.net

          - Date: 2016-12-17 11:19:27
            46Parsifal1 “To Correctness through Proof” Dale Miller (Team Leader) and ¨ Despeyroux, Stephane ´ Kaustuv Chaudhuri, Joelle

            Parsifal1 “To Correctness through Proof” Dale Miller (Team Leader) and ¨ Despeyroux, Stephane ´ Kaustuv Chaudhuri, Joelle

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            - Date: 2011-09-04 11:14:06
              47Incremental Construction of Inductive Clauses for Indubitable Correctness or simply: IC3 A Simplified Description Based on “SAT-Based Model Checking without Unrolling”

              Incremental Construction of Inductive Clauses for Indubitable Correctness or simply: IC3 A Simplified Description Based on “SAT-Based Model Checking without Unrolling”

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-06-10 04:37:11
                48Automated Black-Box Testing of Functional Correctness using Function Approximation [Extended Abstract] Karl Meinke Department of Numerical Analysis and Computer Science Royal Institute of Technology

                Automated Black-Box Testing of Functional Correctness using Function Approximation [Extended Abstract] Karl Meinke Department of Numerical Analysis and Computer Science Royal Institute of Technology

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2006-05-08 09:36:06
                  49Correctness of Query Execution Strategies in Distributed Databases S. CERI, and G. PELAGATTI Politecnico di Milan0 A major requirement of a Distributed DataBase Management System (DDBMS) is to enable users to

                  Correctness of Query Execution Strategies in Distributed Databases S. CERI, and G. PELAGATTI Politecnico di Milan0 A major requirement of a Distributed DataBase Management System (DDBMS) is to enable users to

                  Add to Reading List

                  Source URL: pdfs.semanticscholar.org

                  - Date: 2016-01-29 12:17:57
                    50Common Correctness for Protecting Confidentiality of Critical Infrastructure Systems Investigators: Bruce McMillin, Sahra Sedigh, Daniel Tauritz, Ann Miller Funding Source: Department of Defense

                    Common Correctness for Protecting Confidentiality of Critical Infrastructure Systems Investigators: Bruce McMillin, Sahra Sedigh, Daniel Tauritz, Ann Miller Funding Source: Department of Defense

                    Add to Reading List

                    Source URL: isc.mst.edu

                    - Date: 2014-01-22 05:22:49