Verification of Euclid Programs.

James J. Horning

Published in: Program Construction (1978)

Keyphrases

symbolic execution
hardware designs
model checking
social networks
verification method
face verification
functional verification
concurrent systems
automatic programming
signature verification
computer programs
high level
case study
formal verification
relational databases
java bytecode
databases