Modular Verification of Interactive Systems with an Application to Biology.
Peter DrábikAndrea Maggiolo-SchettiniPaolo MilazzoPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- interactive systems
- human computer interaction
- digital entertainment
- user interface
- scientific fields
- model checking
- learning systems
- face verification
- molecular biology
- artificial intelligence
- verification method
- concurrent systems
- neural network
- multimedia
- seemingly unrelated
- functional verification
- modular neural networks
- modular structure
- highly flexible
- social intelligence
- signature verification
- search engine