A constructive approach to the problem of program correctness
BIT Numerical Mathematics · 1968 · 238 citations · 1 references
Program CheckingEngineeringAutomated ReasoningProgram AnalysisVerificationFormal MethodsProgram CorrectnessProgram SynthesisFormal TechniqueComputer ScienceSoftware AnalysisFormal Verification
1
Proof of algorithms by general snapshots
Peter Naur · BIT Numerical Mathematics · 1966
149 citations