Composition and Refinement of Behavioral Specifications.

Dusko Pavlovic Douglas R. Smith

Published in: ASE (2001)

Keyphrases

bounded model checking
formal specification
delay insensitive
high level
model checking
real time
information systems
decision trees
similarity measure
relevance feedback
query refinement
formal verification
composite services
concurrent systems
learning technology standards
written in natural language