Presents a syntax-driven framework for incremental re-verification of KernelC programs with matching logic properties after changes, implemented in a prototype and evaluated for efficiency gains.
In David Lo, Sven Apel & Sarfraz Khur- M
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2verdicts
UNVERDICTED 2representative 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
-
Syntax-driven Incremental Program Verification of Matching Logic Properties
Presents a syntax-driven framework for incremental re-verification of KernelC programs with matching logic properties after changes, implemented in a prototype and evaluated for efficiency gains.
-
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.