Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Tlaplus | 2,154 | 2 months ago | 241 | mit | Java | |||||
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. | ||||||||||
Theta | 44 | 4 months ago | 42 | apache-2.0 | Java | |||||
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms | ||||||||||
Pybnf | 24 | 4 months ago | 48 | other | Python | |||||
An application for parameterization of biological models available in SBML and BNGL formats. Features include parallelization, metaheuristic optimization algorithms, and an adaptive Markov chain Monte Carlo (MCMC) sampling algorithm. | ||||||||||
Tchecker | 19 | 4 months ago | 7 | mit | C++ | |||||
TChecker is an open-source verification tool for timed automata | ||||||||||
Dissertation | 5 | 13 years ago | gpl-3.0 | Python | ||||||
My MSc dissertation 'Design and Analysis of a Gossip Algorithm' |