Separation logic - PDFSEARCH.IO - Document Search Engine

Separation logic
Results: 136

#	Item
1	Formale Systeme II: Theorie Separation Logic SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-08-05 06:53:04 Theoretical computer science Formal methods Logic in computer science Software engineering Separation logic Postcondition Precondition Design by contract Predicate transformer semantics Formal verification Software verification
2	Towards Mechanized Program Verification with Separation Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:48 Mathematical logic Logic in computer science Theoretical computer science Substructural logic Logic Separation logic Constructible universe Ordinal number Computability theory Proof theory
3	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 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
4	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation
5	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:32 Abstract data types Queue Double-ended queue Dequeue Statistical theory Probability and statistics Economy
6	Temporary Read-Only Permissions for Separation Logic Arthur Chargu´eraud and Fran¸cois Pottier Inria‹ Abstract. We present an extension of Separation Logic with a general Add to Reading List Source URL: chargueraud.org Language: English - Date: 2017-02-23 04:12:21 Logic File system permissions Separation logic Modal logic Inference If and only if
7	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits Add to Reading List Source URL: www.chargueraud.org Language: English - Date: 2017-09-21 08:25:51
8	Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic Reuben N. S. Rowe James Brotherston Add to Reading List Source URL: www.staticanalysis.org Language: English - Date: 2018-08-04 09:49:55
9	Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic Reuben N. S. Rowe James Brotherston Add to Reading List Source URL: staticanalysis.org Language: English - Date: 2018-08-04 09:49:55
10	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits Add to Reading List Source URL: chargueraud.org Language: English - Date: 2017-09-21 08:25:51 Software engineering Computer programming Computing Functional languages Data types Type theory Logic in computer science Automated theorem proving OCaml Coq Disjoint-set data structure Proof assistant