From Verifying Termination to Guaranteeing it: A Case Study.

Axel van Lamsweerde

Published in: Formal Description of Programming Concepts (1977)

Keyphrases

model checking
case study
term rewriting
data sets
artificial intelligence
feature extraction
similarity measure
multi agent
search algorithm
image retrieval
viewpoint
domain knowledge
dynamic programming
knowledge discovery
test bed