Hacl StarHACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (+1052.54%)
ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (-44.92%)
CosaCoreIR Symbolic Analyzer
Stars: ✭ 35 (-70.34%)
MathlibLean mathematical components library
Stars: ✭ 746 (+532.2%)
OakMeaningful control of data in distributed systems.
Stars: ✭ 698 (+491.53%)
Sledthe champagne of beta embedded databases
Stars: ✭ 5,423 (+4495.76%)
Practical FmA gently curated list of companies using verification formal methods in industry
Stars: ✭ 272 (+130.51%)
Tool listsLinks to tools by subject
Stars: ✭ 270 (+128.81%)
z-evesZ-EVES for linux. Probably the only place you can find it
Stars: ✭ 17 (-85.59%)
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (+80.51%)
vsrl-frameworkThe Verifiably Safe Reinforcement Learning Framework
Stars: ✭ 42 (-64.41%)
intrepidIntrepyd Model Checker
Stars: ✭ 14 (-88.14%)
tutoriel wpFrama-C and WP tutorial
Stars: ✭ 31 (-73.73%)
overtureThe Overture Tool
Stars: ✭ 45 (-61.86%)
z3 tutorialJupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (-0.85%)
fm-notesUnassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Stars: ✭ 19 (-83.9%)
TSNschedAutomated Schedule Generation for Time-Sensitive Networks (TSN).
Stars: ✭ 46 (-61.02%)
high-assurance-legacyLegacy code connected to the high-assurance implementation of the Ouroboros protocol family
Stars: ✭ 81 (-31.36%)
TorXakisA tool for Model Based Testing
Stars: ✭ 40 (-66.1%)
tlacliA script for running TLA+/TLC from the command line
Stars: ✭ 75 (-36.44%)
kleverRead-only mirror of the Klever Git repository
Stars: ✭ 18 (-84.75%)
koikaA core language for rule-based hardware design 🦑
Stars: ✭ 103 (-12.71%)
mSATA modular sat/smt solver with proof output.
Stars: ✭ 91 (-22.88%)
StainlessVerification framework and tool for higher-order Scala programs
Stars: ✭ 241 (+104.24%)
Acl2ACL2 System and Books as Maintained by the Community
Stars: ✭ 200 (+69.49%)
Vscode TlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 152 (+28.81%)