Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

DOI10.1007/11780274_31MaRDI QIDQ5757932zbMATH OpenOpenAlexFDO

Authors Kazuhiro Ogata, Kokichi Futatsugi

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_31

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Proof scores in the OTS/CafeOBJ method.
• On Automation of OTS/CafeOBJ Method
• A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method
• Generic proof scores for generate \& check method in CafeOBJ
• Principles of proof scores in CafeOBJ

Cited in

(7)

• Generic proof scores for generate \& check method in CafeOBJ
• Proof scores in the OTS/CafeOBJ method.
• Principles of proof scores in CafeOBJ
• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
• A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs

Describes a project that uses

Uses Software

• CafeOBJ
• LARCH

This page was built for publication: Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

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