An algebraic description of programs with assertions, verification and simulation.

Rod M. Burstall

Published in: Proving Assertions About Programs (1972)

Keyphrases

simulation model
computer programs
simulation models
symbolic execution
face verification
hardware designs
real time
databases
high level
face recognition
model checking
qualitative simulation