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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Describes a tool landscape (REST API, TraceView, TraceViz) that makes ARDoCo's four TLR pipelines publicly accessible with a preliminary study showing TraceViz improves developer comprehension.
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.
-
The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability
Describes a tool landscape (REST API, TraceView, TraceViz) that makes ARDoCo's four TLR pipelines publicly accessible with a preliminary study showing TraceViz improves developer comprehension.