Using Partial Evaluation to Enable Verification of Concurrent Software.

Matthew B. Dwyer John Hatcliff Muhammad Nanda

Published in: ACM Comput. Surv. (1998)

Keyphrases

partial evaluation
explanation based generalization
software development
source code
software systems
natural language processing
formal methods
domain knowledge
domain theory
database systems
relational databases
model checking