The following pages link to Daikon (Q16498):
Displaying 36 items.
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- On invariant checking (Q394493) (← links)
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← 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)
- Effective use of SMT solvers for program equivalence checking through invariant-sketching and query-decomposition (Q1656596) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585) (← 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)
- Symbolic abstract contract synthesis in a rewriting framework (Q2409736) (← links)
- Dynamic inference of polymorphic lock types (Q2575137) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Automatic Inference of Access Permissions (Q2891412) (← links)
- Inferring Canonical Register Automata (Q2891417) (← links)
- Policy-Centric Protection of OS Kernel from Vulnerable Loadable Kernel Modules (Q3001891) (← links)
- Using Fault Screeners for Software Error Detection (Q3058774) (← links)
- Automata Learning through Counterexample Guided Abstraction Refinement (Q4647827) (← links)
- Collaborative Verification and Testing with Explicit Assumptions (Q4647837) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Specification and Runtime Verification of Java Card Programs (Q5179352) (← links)
- Model Checking Merged Program Traces (Q5179356) (← links)
- Learning Shape Analysis (Q5233237) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (Q5423871) (← links)
- (Q5444994) (← links)
- A Hybrid Approach to Modeling Biological Systems (Q5452054) (← links)
