Awesome Open Source

Programming Languages

Search results for python model checking

model-checking x

23 search results found

Tlaplus_jupyter ⭐ 111

Jupyter kernel for TLA⁺

A script for running TLA+/TLC from the command line

Modelator ⭐ 43

Model-based testing tool

Tlaplus_repl ⭐ 39

A simple REPL for the TLA+ language, using the TLC model checker.

CoreIR Symbolic Analyzer

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Modelator Py ⭐ 26

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

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.

Itstools ⭐ 20

A multi-formalism, multi-solution model-checker centered on the language GAL

Read-only mirror of the Klever Git repository

Eve Parity ⭐ 16

Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

Intrepid ⭐ 13

Intrepyd Model Checker

Generate (message) sequence diagrams from TLA+ state traces

A Python-like programming language for testing and experimenting with concurrent programs.

Maude Bindings ⭐ 12

Language bindings for Maude

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

Pytolemaic ⭐ 10

Toolbox for analysis of model's quality and model's description. For further details see

Baum-Welch for all kind of Markov models

Unified Maude model-checking tool

Parameter Synthesis in Markov Models

Dissertation ⭐ 5

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

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

Related Searches

Python Django (28,897)

Python Machine Learning (20,195)

Python Flask (17,643)

Python Dataset (14,792)

Python Docker (14,113)

Python Tensorflow (13,736)

Python Command Line (13,351)

Python Deep Learning (13,092)

Python Jupyter Notebook (12,976)

Python Network (11,495)

1-23 of 23 search results

Privacy | About | Terms | Follow Us On Twitter

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