Hoare logic

Results: 111



#Item
1Theoretical computer science / Formal methods / Mathematical logic / Logic / Logic in computer science / Substructural logic / Hoare logic / Static program analysis / Separation logic / Predicate transformer semantics / Loop invariant / Existential quantification

Overview Hoare Logic Separation Logic Entailment Exercise

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-08-26 04:15:49
2

Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems CML Definition 3 – Hoare Logic Deliverable Number: D23.4d Version: 0.2

Add to Reading List

Source URL: www.compass-research.eu

Language: English - Date: 2014-11-07 04:44:39
    3

    Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction Shinnosuke Mizutani Naoki Nishida

    Add to Reading List

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

    - Date: 2017-09-09 06:01:35
      4

      Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. The examinable material in the course Hoare Logic consists of what is actually presented in the lectures. This document aims to pro

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      - Date: 2012-04-04 07:18:24
        5

        Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. This document aims to provide background reading to support the lectures – think of it as a free downloadable textbook. Chapters

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2014-03-02 18:39:23
          6

          Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

          Add to Reading List

          Source URL: pdos.csail.mit.edu

          - Date: 2016-12-17 14:43:18
            7

            Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

            Add to Reading List

            Source URL: sigops.org

            - Date: 2015-09-14 18:51:05
              8

              A Two-Variable Separation Logic and Its Inner Circle STEPHANE DEMRI, New York University, USA & CNRS, France MORGAN DETERS, New York University, USA Separation logic is a well-known assertion language for Hoare-style pr

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2015-01-28 03:31:41
                9

                Advances in Programming Languages APL3: Hoare logic David Aspinall (slides mostly by Ian Stark) School of Informatics

                Add to Reading List

                Source URL: www.inf.ed.ac.uk

                - Date: 2010-01-18 03:21:25
                  10Formal methods / Theoretical computer science / Software engineering / Mathematics / Hoare logic / Static program analysis / Algorithm / Precondition / Predicate transformer semantics / Loop invariant

                  Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?

                  Add to Reading List

                  Source URL: www.gogognome.nl

                  Language: English - Date: 2016-04-05 02:15:07
                  UPDATE