Interactive Specification and Verification of Behavioural Adaptation Contracts.
Javier CámaraGwen SalaünCarlos CanalMeriem OuederniPublished in: QSIC (2009)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- high level
- interactive video
- graphical interface
- user friendly
- user interaction
- formal specification
- supply chain
- data sets
- computer graphics
- specification language
- electronic commerce
- database systems
- verification method
- ims qti