|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
verification
model-checking
concurrency
static-analysis
theorem-proving
coq
llvm
compiler
z3
debugging
|
| Package |
Description |
Version |
|
alive2
☆
formula
|
Automatic verification of LLVM optimizations |
21.0 |
|
alloy
☆
cask
|
Programming language for software modelling |
6.2.0 |
|
civl
☆
formula
|
Concurrency Intermediate Verification Language |
1.22-5854 |
|
cryptol
☆
formula
|
Domain-specific language for specifying cryptographic algorithms |
3.4.0 |
|
dafny
☆
formula
|
Verification-aware programming language |
4.11.0 |
|
ltl2ba
☆
formula
|
Translate LTL formulae to Buchi automata |
|
|
ott
☆
formula
|
Tool for writing definitions of programming languages and calculi |
|
|
proof-general
☆
formula
|
Emacs-based generic interface for theorem provers |
|
|
stp
☆
formula
|
Simple Theorem Prover, an efficient SMT solver for bitvectors |
95393064368b7c05da4d6f0264fc3419c175c7cb |
|
tla+-toolbox
☆
cask
|
IDE for TLA+ |
1.7.4 |
|
yices2
☆
formula
|
Yices SMT Solver |
|