CHET: A System for Checking Dynamic Specifications.

Steven P. Reiss

Published in: ASE (2004)

Keyphrases

dynamically changing
high level
lower bound
information retrieval
knowledge base
case study
software engineering
logic programs
dynamic environments