Towards Discovery, Specification, and Verification of Component Usage.

Chang Liu Debra J. Richardson

Published in: ASE (1999)

Keyphrases

formal verification
formal methods
asynchronous circuits
protocol specification
model checking
formal specification
discovery process
case study
real world
specification language
concurrent systems
software components
data sets
usage patterns
scientific discovery
search engine
colored petri nets