<--- Back to Details
First PageDocument Content
Theoretical 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
Date: 2010-08-26 04:15:49
Theoretical 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

Download Document from Source Website

File Size: 412,76 KB

Share Document on Facebook

Similar Documents

Alloy as an Introduction to Formal Methods

DocID: 1xVY1 - View Document

Culture in Berlin / Education in Berlin / Institute for Media and Communication Policy / Bernhard Steffen / Stochastic process / States of Germany / Germany

Integrated Formal Methods

DocID: 1xVBb - View Document

Software engineering / Theoretical computer science / Formal methods / Computing / Computer science / Computer security / Model checking / Verification / Formal verification / Carnegie Mellon University / Proof-carrying code / Software Engineering Institute

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xUHE - View Document

Arithmetic / Interval / Bracket

Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

DocID: 1xUCm - View Document

Mathematics / Temporal logic / Mathematical analysis / Theoretical computer science / Linear temporal logic / Mathematical logic / Formal languages / Computation tree logic / Constructible universe / Markov decision process / Well-formed formula / IP

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

DocID: 1xUrV - View Document