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

DOI10.1007/11780274_31zbMath1132.68489OpenAlexW1498922229MaRDI QIDQ5757932

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)

Related Items (4)

Principles of proof scores in CafeOBJ ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method ⋮ Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs

Uses Software

• LARCH
• CafeOBJ

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