The use of functional annotations in verifying imperative programs.

Robin A. Nicholl Maurice Clint David Gray Tina M. Nicholl

Published in: Softw. Eng. J. (1990)

Keyphrases

imperative programs
dynamic logic
semantic annotation
metadata
model checking
annotation tool
general purpose
data sets
search engine
np hard
semi automatic
visual information
plan execution
functional analysis