Awesome Open Source
Awesome Open Source

Collection of links to:

  • formal methods tools here.
  • binary decision diagram (BDD) software libraries here.
  • packages for convex optimization in Python here.

To the extent possible under law, the authors have waived all copyright and related or neighboring rights to this text. For copying conditions, consult COPYING.txt, which is the CC0 Public Domain Dedication.

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
tools (273
static-analysis (220
verification (75
synthesis (43
model-checking (17
formal-methods (14
proof-assistant (14
theorem-proving (13

Find Open Source By Browsing 7,000 Topics Across 59 Categories