A source-level interaction concept for interactive program verification, prototyped in KeY, improves user understanding of proof states and defect detection according to a user study.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
DIbugger is a debugging tool for analyzing counterexamples of relational properties by enabling simultaneous inspection of multiple related program executions.
citing papers explorer
-
A New Interaction Concept for Interactive and Autoactive Program Verification
A source-level interaction concept for interactive program verification, prototyped in KeY, improves user understanding of proof states and defect detection according to a user study.
-
Understanding Counterexamples for Relational Properties with DIbugger
DIbugger is a debugging tool for analyzing counterexamples of relational properties by enabling simultaneous inspection of multiple related program executions.