A methodology for verifying programs.

Friedrich W. von Henke David C. Luckham

Published in: Reliable Software (1975)

Keyphrases

social networks
model checking
programming environment
computer programs
data sets
genetic algorithm
high level
image sequences
multiscale
design methodology