CrEme

MaRDI QIDQ55104swMATHFDO

Official website https://www.researchgate.net/publication/220344415_CrEme_an_Automatic_Invariant_Prover_of_Behavioral_Specifications

Cited in

(3)

• CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications
• CafeInMaude
• CiMPG

This page was built for software: CrEme