https://github.com/johnyf/tool_lists

Links to tools by subject
https://github.com/johnyf/tool_lists

binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification

Last synced: about 2 months ago
JSON representation

Links to tools by subject

• Host: GitHub
• URL: https://github.com/johnyf/tool_lists
• Owner: johnyf
• License: cc0-1.0
• Created: 2013-09-24T02:29:59.000Z (over 11 years ago)
• Default Branch: main
• Last Pushed: 2024-03-19T10:42:35.000Z (10 months ago)
• Last Synced: 2024-10-15T01:25:26.922Z (3 months ago)
• Topics: binary-decision-diagrams, formal-methods, model-checking, proof-assistant, satisfiability-modulo-theories, satisfiability-solver, smtlib, static-analysis, synthesis, theorem-prover, theorem-proving, tools, verification
• Homepage:
• Size: 63.5 KB
• Stars: 366
• Watchers: 44
• Forks: 81
• Open Issues: 4
• Metadata Files:
  • Readme: readme.md
  • License: COPYING.txt

Awesome Lists containing this project

• fucking-lists - tool_lists
• awesomelist - tool_lists
• collection - tool_lists
• lists - tool_lists

README

        
Collection of links to:

- formal methods tools [here](verification_synthesis.md).

- binary decision diagram (BDD) software libraries [here](bdd.md).

- packages for convex optimization in Python [here](optimization.md).

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](http://creativecommons.org/publicdomain/zero/1.0/).