Specifications, Programs, and Total Correctness.

Eric C. R. Hehner

Published in: Sci. Comput. Program. (1999)

Keyphrases

provably correct
recursive programs
control flow
learning algorithm
computer programs
multiscale
finite state machines
java programs
delay insensitive
real time
data sets
source code
business processes
formal specification