Modular Verification of Interactive Systems with an Application to Biology.
Peter DrábikAndrea Maggiolo-SchettiniPaolo MilazzoPublished in: Sci. Ann. Comput. Sci. (2011)
Keyphrases
- interactive systems
- human computer interaction
- user interface
- model checking
- face verification
- digital entertainment
- signature verification
- formal methods
- formal analysis
- social intelligence
- learning systems
- asynchronous circuits
- false acceptance rate
- modular structure
- concurrent systems
- interactive learning environments
- data sets
- scientific fields
- diverse fields
- verification method
- highly flexible
- databases
- image sequences