Incremental segmentation and landmark-based heuristic repair enable efficient correction of traces exceeding 25,000 entries against temporal behavior tree specifications.
Untangling mechanized proofs
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Debugging tools should present execution history in time order to support better hypothesis generation about program behavior.
Waterproof Editor abstracts rich formatting and input features from Waterproof into an npm package for reuse in educational software involving proof assistants or programming languages.
citing papers explorer
-
Trace Repair for Temporal Behavior Trees
Incremental segmentation and landmark-based heuristic repair enable efficient correction of traces exceeding 25,000 entries against temporal behavior tree specifications.
-
Tracers for debugging and program exploration
Debugging tools should present execution history in time order to support better hypothesis generation about program behavior.
-
Waterproof Editor: an educational environment for proof assistants and programming languages
Waterproof Editor abstracts rich formatting and input features from Waterproof into an npm package for reuse in educational software involving proof assistants or programming languages.