Pages that link to "Item:Q1929233"

The following pages link to Principles of proof scores in CafeOBJ (Q1929233):

Displaying 11 items.

• Manifest domains: analysis and description (Q520235) (← links)
• A Maude environment for CafeOBJ (Q520244) (← links)
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
• Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
• Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
• Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications (Q2949707) (← links)
• Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
• Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications (Q5403069) (← links)
• On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
• Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085) (← links)
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)