|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
formal-verification
verification
concurrency
formal-methods
static-analysis
testing
ltl
specification
distributed-systems
typescript
|
| Package |
Description |
Version |
|
quint
☆
formula
1,111
|
Core tool for the Quint specification language |
0.29.1 |
|
cbmc
☆
formula
|
C Bounded Model Checker |
6.8.0 |
|
civl
☆
formula
|
Concurrency Intermediate Verification Language |
1.22-5854 |
|
ltl2ba
☆
formula
|
Translate LTL formulae to Buchi automata |
|
|
spin
☆
formula
|
Efficient verification tool of multi-threaded software |
|
|
spot
☆
formula
|
Platform for LTL and ω-automata manipulation |
2.14.4 |
|
tla+-toolbox
☆
cask
|
IDE for TLA+ |
1.7.4 |