The following pages link to Automatic Data Refinement (Q5327338):
Displaying 22 items.
- Autoref (Q24733) (← links)
- Automated Data Harmonization (ADH) using Artificial Intelligence (AI) (Q832788) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- Verified iptables firewall analysis and verification (Q1663231) (← links)
- A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
- Refinement to imperative HOL (Q1739909) (← links)
- Automatic tuning of data synopses. (Q1872649) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Formally verified certificate checkers for hardest-to-round computation (Q2352500) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Automatic refinement to efficient data structures: a comparison of two approaches (Q2417948) (← links)
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495) (← links)
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL (Q2938044) (← links)
- Refinement to Imperative/HOL (Q2945637) (← links)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- Trustworthy Graph Algorithms (Invited Talk) (Q5092359) (← links)
- (Q5875431) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
- Data refinement of remote procedures (Q5930074) (← links)
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting (Q6611962) (← links)
