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

DOI10.1007/11780274_31zbMATH Open1132.68489OpenAlexW1498922229MaRDI QIDQ5757932FDOQ5757932

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

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
• A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method

Uses Software

• LARCH
• CafeOBJ

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)