Faulty Logic: Reasoning about Fault Tolerant Programs

DOI10.1007/978-3-642-11957-6_25zbMATH Open1260.68108OpenAlexW2108399962MaRDI QIDQ3558242

No author found.

Publication date: 4 May 2010

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_25

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A proof theoretic approach to failure in functional logic programming ⋮ Local reasoning about the presence of bugs: incorrectness separation logic ⋮ Friedman's question: Detectability of bridging faults in irredundant computational logic networks

Recommendations

• Reasoning about faulty quantum programs 👍 👎
• Proof rules for fault tolerant distributed programs 👍 👎
• Fault-tolerant programs and their reliability 👍 👎
• Reasoning about Control Flow in the Presence of Transient Faults 👍 👎
• A proof theoretic approach to failure in functional logic programming 👍 👎
• On Faults and Faulty Programs 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Faulty Logic: Reasoning about Fault Tolerant Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558242)