CITP

swMATH25269MaRDI QIDQ37011FDOQ37011

Author name not available (Why is that?)

Official website: http://imi.kyushu-u.ac.jp/~daniel/citp.html

Described by source

• Constructor-Based Inductive Theorem Prover

Cited In (14)

• Stability of termination and sufficient-completeness under pushouts via amalgamation
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• CoFI
• TRAM
• CIRC
• CafeOBJ
• CRC 3
• InvA
• CafeInMaude
• Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
• On Automation of 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 Maude environment for CafeOBJ

This page was built for software: CITP