Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Smt Formal Methods Open Source Projects

Open source projects categorized as Smt Formal Methods
Stainless ⭐ 339
Verification framework and tool for higher-order Scala programs
most recent commit 4 months ago
Mc2 ⭐ 38
[research] A modular SMT solver in OCaml, based on mcSAT
most recent commit 4 months ago
Torxakis ⭐ 37
A tool for Model Based Testing
most recent commit 3 years ago
Sidekick ⭐ 23
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
most recent commit 4 months ago
Smbc ⭐ 21
Experimental model finder/SMT solver for functional programming.
most recent commit 2 years ago
Emme ⭐ 5
EMME: ECMAScript Memory Model Evaluator
most recent commit 6 years ago
Stainlessfit ⭐ 5
Stainless directly built on System FR, with standalone front-end
most recent commit 3 years ago
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.