Composing Specifications in VSPEC.
Arun VenkataramanMurali RangarajanPerry AlexanderPublished in: ICFEM (2000)
Keyphrases
- formal specification
- delay insensitive
- high level
- specification language
- functional requirements
- real time
- bounded model checking
- artificial intelligence
- bayesian networks
- operational semantics
- control flow
- finite state machines
- search algorithm
- case study
- image processing
- e learning
- computer vision
- information retrieval
- data mining