CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications
Adrián Riesco, Kazuhiro Ogata
Topics & Concepts
Computer scienceMathematical proofProgramming languageCorrectnessRewritingGenerator (circuit theory)Proof assistantClass (philosophy)InterpreterTheoretical computer scienceMathematicsArtificial intelligencePhysicsGeometryPower (physics)Quantum mechanicsFormal Methods in VerificationSoftware Testing and Debugging TechniquesLogic, programming, and type systems