runtimeverification / kLinks
K Framework Tools 7.0
☆521Updated last week
Alternatives and similar repositories for k
Users that are interested in k are comparing it to the libraries listed below
Sorting:
- Boogie☆551Updated last week
- The Vellvm (Verified LLVM) coq development.☆442Updated this week
- A curated set of links to formal methods involving provable code.☆212Updated 3 years ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆460Updated 2 weeks ago
- Verified Software Toolchain☆469Updated last week
- A framework for smart contract verification in Coq☆122Updated last week
- A Library for Representing Recursive and Impure Programs in Coq☆231Updated last month
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆361Updated last week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆526Updated 2 months ago
- Lem semantic definition language