Ours Is to Reason Why

DOI10.1007/978-3-642-39698-4_14MaRDI QIDQ2842639zbMATH OpenOpenAlexFDO

Authors Leo Freitas, Andrius Velykis, Cliff B. Jones

Publication date 16 August 2013

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39698-4_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 6608953
• A logic for `because'
• In defence of a logic for ‘because’

Cites work

• A logic covering undefinedness in program proofs
• scientific article; zbMATH DE number 3660783 (Why is no real title available?)
• scientific article; zbMATH DE number 46741 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 51769 (Why is no real title available?)
• Isabelle. A generic theorem prover
• Rippling: Meta-Level Guidance for Mathematical Reasoning

Cited in

(3)

• Proof by analogy in mural
• Reasoned modelling critics: turning failed proofs into modelling guidance
• Automated Technology for Verification and Analysis

Describes a project that uses

Uses Software

• ProB
• LARCH
• ACL2
• Isabelle/HOL
• mural

This page was built for publication: Ours Is to Reason Why

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