Login / Signup
Correct Programs without Proof? On Checker-Based Program Verification.
Wolfgang Goerigk
Thilo Gaul
Wolf Zimmermann
Published in:
Tool Support for System Specification, Development and Verification (1998)
Keyphrases
</>
provably correct
imperative programs
computer programs
theorem prover
automatic programming
data sets
search algorithm
theorem proving
proof planning
recursive programs