CFML
From MaRDI portal
swMATH13287MaRDI QIDQ25202FDOQ25202
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?doid=1863543.1863590
Cited In (45)
- Characteristic formulae for the verification of imperative programs
- HolBA
- Symbolic execution proofs for higher order store programs
- An observationally complete program logic for imperative higher-order functions
- Machine-checked verification of the correctness and amortized complexity of an efficient union-find implementation
- Netsoft
- Proof-producing synthesis of ML from higher-order logic
- Crowfoot
- IsaFoR
- Ynot
- GNATprove
- RGITL
- MLton
- AUTO2
- Cogent
- Grail
- ACE
- Fiat
- CAMPY
- MathComp.tuple
- Ssreflect.fintype
- VACID-0
- CSimpl
- Camelot
- Amortized Complexity
- TiML
- Dijkstra Shortest Path
- Edmonds-Karp
- Collections
- Flow Networks
- Equations
- Graph Theory
- CAVA LTL Modelchecker
- Refinement Monadic
- Separation Logic
- Gabow SCC
- VST-Floyd
- Imperative Refinement
- Maximum Cardinality Matching
- Auto2_Imperative_HOL
- ShortestPath
- Dune
- FreeSpec
- Prpu_Maxflow
- Proof-producing translation of higher-order logic into pure and stateful ML
This page was built for software: CFML
