Autoref
From MaRDI portal
Cited in
(77)- Cubical Agda
- 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
- versat
- Coq/SSReflect
- EasyCrypt
- CryptHOL: game-based proofs in higher-order logic
- FIREMAN
- Firmato
- 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
- Locales
- NetCore
- Eisbach
- pGCL
- libclang
- MLton
- Probabilistic functions and cryptographic oracles in higher order logic
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- IsaFoL
- Transfer
- Lifting
- Fiat
- GRAT
- Formalization and execution of linear algebra: from theorems to algorithms
- CoSP
- F*
- DPT
- Lp spaces
- Zoo Probabilistic Systems
- Edmonds-Karp
- Refinement Monadic
- Gauss-Jordan
- CAVA Automata Library
- CAVA
- CryptHOL
- Monomorphic Monad
- Gauss Jordan Elimination
- Firewall Builder
- Dictionary Construction
- Affine Arithmetic
- Simple Firewall
- IP Addresses
- UPF Firewall
- Iptables Semantics
- LTL_to_DRA
- CAVA LTL Modelchecker
- Tree Automata
- LOFT
- ConfigChecker
- Routing
- Ordinals Cardinals
- Gabow SCC
- Imperative Refinement
- Rank Nullity
- LTL_to_GBA
- Real_Impl
- Knuth Morris Pratt
- Program-Conflict-Analysis
- IEEE_Floating_Point
- Regex_Equivalence
- Quotients of bounded natural functors
- Quotients of Bounded Natural Functors
- iptables
- nftables
- Probabilistic_While
- MFMC_Countable
- Game_Based_Crypto
- Boolean_Expression_Checkers
- scientific article; zbMATH DE number 7649960 (Why is no real title available?)
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
- Efficient verified (UN)SAT certificate checking
- Transition_Systems_and_Automata
This page was built for software: Autoref
