C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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