Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
From MaRDI portal
Publication:5757932
Recommendations
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
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)