Interactive specification and verification of behavioral adaptation contracts.
Javier CámaraGwen SalaünCarlos CanalMeriem OuederniPublished in: Inf. Softw. Technol. (2012)
Keyphrases
- formal verification
- asynchronous circuits
- model checking
- formal methods
- user interaction
- user friendly
- high level
- supply chain
- ims qti
- formal specification
- protocol specification
- face verification
- interactive video
- computer vision
- dynamic adaptation
- verification method
- concurrent systems
- data visualization
- specification language
- databases
- virtual reality
- case study
- information retrieval
- data mining
- neural network