Cited in
(77)- Transition_Systems_and_Automata
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Formally verified certificate checkers for hardest-to-round computation
- A verified ODE solver and the Lorenz attractor
- A verified SAT solver framework with learn, forget, restart, and incrementality
- From LCF to Isabelle/HOL
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- Probabilistic functions and cryptographic oracles in higher order logic
- versat
- Coq/SSReflect
- EasyCrypt
- FIREMAN
- Firmato
- Locales
- Eisbach
- NetCore
- pGCL
- libclang
- MLton
- Efficient verified (UN)SAT certificate checking
- IsaFoL
- Lifting
- Fiat
- Transfer
- GRAT
- CoSP
- F*
- CryptHOL: game-based proofs in higher-order logic
- DPT
- CAVA Automata Library
- CAVA
- CryptHOL
- Edmonds-Karp
- Gauss-Jordan
- Affine Arithmetic
- Gauss Jordan Elimination
- Lp spaces
- CAVA LTL Modelchecker
- Dictionary Construction
- Monomorphic Monad
- ConfigChecker
- Firewall Builder
- Refinement Monadic
- IP Addresses
- Iptables Semantics
- Gabow SCC
- LTL_to_DRA
- LOFT
- Ordinals Cardinals
- Simple Firewall
- Routing
- Imperative Refinement
- Knuth Morris Pratt
- LTL_to_GBA
- Rank Nullity
- Real_Impl
- Zoo Probabilistic Systems
- UPF Firewall
- Tree Automata
- IEEE_Floating_Point
- Program-Conflict-Analysis
- Regex_Equivalence
- Automatic refinement to efficient data structures: a comparison of two approaches
- nftables
- iptables
- Boolean_Expression_Checkers
- Game_Based_Crypto
- MFMC_Countable
- Probabilistic_While
- Formalization and execution of linear algebra: from theorems to algorithms
- scientific article; zbMATH DE number 7471712 (Why is no real title available?)
- scientific article; zbMATH DE number 7649960 (Why is no real title available?)
- Verified iptables firewall analysis and verification
- Refinement to imperative HOL
- Cubical Agda
- Quotients of Bounded Natural Functors
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
This page was built for software: Autoref
