The interactive verification debugger: effective understanding of interactive proof attempts.

Martin Hentschel Reiner Hähnle Richard Bubel

Published in: ASE (2016)

Keyphrases

virtual reality
user interaction
user friendly
graphical interface
highly interactive
information systems
computer graphics
database
artificial intelligence
computer vision
knowledge base
image processing
computationally efficient
model checking
linear logic
interactive video