Evaluating the Usability of Interactive Verification Systems.
Bernhard BeckertSarah GrebingPublished in: COMPARE (2012)
Keyphrases
- intelligent systems
- interactive systems
- distributed systems
- artificial intelligence
- management system
- computer systems
- model checking
- formal methods
- learning algorithm
- web services
- database systems
- databases
- data sets
- knowledge based systems
- building blocks
- learning systems
- computer graphics
- retrieval systems
- real time