Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andrew Ireland

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

Related publications

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