REFINITY to Model and Prove Program Transformation Rules
Dominic Steinhöfel
Topics & Concepts
Computer scienceCorrectnessProgramming languageCode refactoringProof assistantAutomated theorem provingProgram transformationGas meter proverStatement (logic)Transformation (genetics)WorkbenchModel transformationSoftware engineeringTheoretical computer scienceSoftwareMathematical proofData miningArtificial intelligenceConsistency (knowledge bases)MathematicsChemistryPolitical scienceGeneVisualizationGeometryLawBiochemistryLogic, programming, and type systemsSecurity and Verification in ComputingFormal Methods in Verification