Pages that link to "Item:Q2463543"
From MaRDI portal
The following pages link to The Daikon system for dynamic detection of likely invariants (Q2463543):
Displayed 8 items.
- Daikon (Q16498) (← links)
- A versatile concept for the analysis of loops (Q444373) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Automatic Inference of Access Permissions (Q2891412) (← links)
- Inferring Canonical Register Automata (Q2891417) (← links)
- Using Fault Screeners for Software Error Detection (Q3058774) (← links)