Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exu032
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Proof of Correctness for ASOCS AA3 Networks

IEEE Transactions on Systems, Man, and Cybernetics
1994English

Quadratic Correctness Criterion for Non-Commutative Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

A Logic for Knowledge, Correctness, and Real Time

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Separation Logic

Communications of the ACM
Computer Science
2019English

Proof Search in Lax Logic

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2001English

Programmable Logic Controller (PLC) in Automation

Advanced Journal of Graduate Research
2017English

Hybrid Programmable Logic Controller for Load Automation

Journal of Applied Sciences
2007English

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy