Pages that link to "Item:Q2463543"
From MaRDI portal
The following pages link to The Daikon system for dynamic detection of likely invariants (Q2463543):
Displaying 26 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)
- From invariant checking to invariant inference using randomized search (Q518404) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Active learning for extended finite state machines (Q736459) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065) (← links)
- Survey on mining signal temporal logic specifications (Q2105443) (← links)
- Programming by predicates: a formal model for interactive synthesis (Q2303879) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← 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)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- A Survey of Opponent Modeling in Adversarial Domains (Q5026260) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Model Checking Merged Program Traces (Q5179356) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)
