Ada Abstraction, Generation, Verification.

Jonathan A. Turner Thomas L. Hill

Published in: TRI-Ada (1993)

Keyphrases

information systems
model checking
bounded model checking
formal verification
face verification
hardware designs
formal analysis
case study
digital libraries
digital images
programming language
heuristic search
formal methods
data abstraction