The following pages link to Autoref (Q24733):
Displaying 14 items.
- 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)
- 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)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
- (Q5875419) (← links)
- (Q5875431) (← links)
