Awesome Open Source

Programming Languages

Search results for algorithms model checking

model-checking x

4 search results found

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

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

TChecker is an open-source verification tool for timed automata

Dissertation ⭐ 5

My MSc dissertation 'Design and Analysis of a Gossip Algorithm'

Related Searches

Python Algorithms (10,071)

C Plus Plus Algorithms (6,250)

Algorithms Data Structure (4,627)

Java Algorithms (4,524)

Javascript Algorithms (3,576)

C Algorithms (2,341)

Jupyter Notebook Algorithms (2,326)

Algorithms Graph (1,764)

Algorithms Sort (1,670)

Matlab Algorithms (1,381)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.