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 13 items.
- Daikon (Q16498) (← links)
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- On invariant checking (Q394493) (← links)
- A versatile concept for the analysis of loops (Q444373) (← links)
- Learning register automata: from languages to program structures (Q479461) (← 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)
- Analyzing Array Manipulating Programs by Program Transformation (Q2949696) (← links)
- Using Fault Screeners for Software Error Detection (Q3058774) (← links)
- Model Checking Merged Program Traces (Q5179356) (← links)