johnyf / Tool_lists
Licence: other
Links to tools by subject
Stars: ✭ 270
Projects that are alternatives of or similar to Tool lists
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-93.33%)
Mutual labels: static-analysis, verification, model-checking, formal-methods
Software Quality Wiki
Software Quality Wiki
Stars: ✭ 1,991 (+637.41%)
Mutual labels: formal-methods, verification, model-checking
jayhorn
Static checker for Java
Stars: ✭ 54 (-80%)
Mutual labels: static-analysis, verification, model-checking
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (-21.11%)
Mutual labels: verification, model-checking, formal-methods
Vscode Tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 152 (-43.7%)
Mutual labels: formal-methods, verification, model-checking
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (+0%)
Mutual labels: static-analysis, verification, model-checking
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (-10.74%)
Mutual labels: formal-methods, verification
Tulip Control
Temporal Logic Planning toolbox
Stars: ✭ 81 (-70%)
Mutual labels: synthesis, verification
Sea Dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-66.67%)
Mutual labels: static-analysis, verification
Setup Php
GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.
Stars: ✭ 1,945 (+620.37%)
Mutual labels: static-analysis, tools
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Stars: ✭ 34 (-87.41%)
Mutual labels: model-checking, formal-methods
Scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (-75.93%)
Mutual labels: synthesis, formal-methods
Hacl Star
HACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (+403.7%)
Mutual labels: formal-methods, verification
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (+2.59%)
Mutual labels: verification, model-checking
Tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars: ✭ 1,618 (+499.26%)
Mutual labels: verification, model-checking
async fifo
A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
Stars: ✭ 117 (-56.67%)
Mutual labels: verification, synthesis
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.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].