Ours Is to Reason Why

DOI10.1007/978-3-642-39698-4_14zbMath1390.68186OpenAlexW1947248495MaRDI QIDQ2842639

Andrius Velykis, Leo Freitas, 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)

Uses Software

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

Cites Work

• A logic covering undefinedness in program proofs
• Isabelle. A generic theorem prover
• Rippling: Meta-Level Guidance for Mathematical Reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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