Tchecker

TChecker is an open-source verification tool for timed automata
Alternatives To Tchecker
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Tlaplus2,154
2 months ago241mitJava
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Theta44
4 months ago42apache-2.0Java
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Pybnf24
4 months ago48otherPython
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.
Tchecker19
4 months ago7mitC++
TChecker is an open-source verification tool for timed automata
Dissertation5
13 years agogpl-3.0Python
My MSc dissertation 'Design and Analysis of a Gossip Algorithm'
Alternatives To Tchecker
Select To Compare


Alternative Project Comparisons
Popular Algorithms Projects
Popular Model Checking Projects
Popular Computer Science Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Algorithms
Model Checking