Automatic Data Refinement
From MaRDI portal
Recommendations
Cited in
(29)- A verified ODE solver and the Lorenz attractor
- Verified iptables firewall analysis and verification
- A verified SAT solver framework with learn, forget, restart, and incrementality
- Refinement to imperative HOL
- Automatic tuning of data synopses.
- CryptHOL: game-based proofs in higher-order logic
- From LCF to Isabelle/HOL
- Formally verified certificate checkers for hardest-to-round computation
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Automatic refinement to efficient data structures: a comparison of two approaches
- Autoref
- Probabilistic functions and cryptographic oracles in higher order logic
- Applying data refinement for monadic programs to Hopcroft's algorithm
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- Refinements for free!
- Refinement to Imperative/HOL
- Formalization and execution of linear algebra: from theorems to algorithms
- Continuous and monotone machines
- Trustworthy Graph Algorithms (Invited Talk)
- Data refinement in Isabelle/HOL
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
- Efficient verified (UN)SAT certificate checking
- Data refinement of remote procedures
- A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper)
- Isomorphic data type transformations
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting
- Verified path indexing
- DTMC model checking by path abstraction revisited
- Automated Data Harmonization (ADH) using Artificial Intelligence (AI)
This page was built for publication: Automatic Data Refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5327338)
