29 results found Sort:
- Filter by Primary Language:
- TLA (5)
- C++ (4)
- Java (3)
- C (3)
- Python (2)
- Scala (2)
- Jupyter Notebook (1)
- Erlang (1)
- R (1)
- Rust (1)
- TypeScript (1)
- Shell (1)
- C# (1)
- HTML (1)
- +
The P programming language.
Created
2015-06-21
4,152 commits to master branch, last one 14 hours ago
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Created
2016-02-02
8,324 commits to master branch, last one a day ago
My own notes (drafts mostly) about software quality
Created
2014-05-12
367 commits to master branch, last one about a year ago
Kani Rust Verifier
Created
2021-03-26
1,495 commits to main branch, last one 9 hours ago
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Created
2017-03-02
33 commits to master branch, last one 7 years ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,276 commits to master branch, last one 15 hours ago
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Created
2019-11-06
41 commits to main branch, last one 11 months ago
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
Created
2017-03-17
189 commits to main branch, last one about a year ago
SeaHorn Verification Framework
Created
2015-03-01
2,952 commits to main branch, last one about a month ago
APALACHE: symbolic model checker for TLA+ and Quint
Created
2015-07-03
6,011 commits to main branch, last one 25 days ago
Links to tools by subject
Created
2013-09-24
1 commits to main branch, last one 9 months ago
Verification framework and tool for higher-order Scala programs
Created
2016-08-17
3,975 commits to main branch, last one 4 days ago
TLA+ language support for Visual Studio Code
Created
2019-07-14
646 commits to master branch, last one 3 months ago
Concuerror is a stateless model checking tool for Erlang programs.
Created
2014-04-04
2,385 commits to master branch, last one 15 days ago
DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)
finance
encoding
synthesizers
decomposition
model-checking
synthetic-data
data-structures
similarity-score
distance-measures
testing-framework
dataset-generation
dataset-similarity
similarity-measures
data-transformations
distance-calculations
predictive-maintenance
transformation-recipes
synthetic-dataset-generation
Created
2020-05-09
144 commits to master branch, last one 2 years ago
The Ultimate program analysis framework.
Created
2015-09-10
28,598 commits to dev branch, last one 3 days ago
Command line binaries for the TLA+ language
Created
2017-05-25
24 commits to master branch, last one about a year ago
A Modern Probabilistic Model Checker
Created
2016-10-19
10,117 commits to master branch, last one 2 days ago
Jupyter kernel for TLA⁺
Created
2019-07-11
92 commits to master branch, last one about a year ago
The Git repository for the mCRL2 toolset.
Created
2018-04-07
19,294 commits to master branch, last one a day ago
Static checker for Java
Created
2015-08-09
1,011 commits to devel branch, last one 6 months ago
Reads a state transition system and performs property checking
Created
2018-08-01
148 commits to master branch, last one 3 months ago
Interactive, web-based environment for exploring TLA+ specifications.
Created
2021-11-24
767 commits to master branch, last one 9 days ago
Model-based testing tool
Created
2021-01-21
444 commits to dev branch, last one 4 days ago
The LTSmin model checking toolset
Created
2014-10-13
3,780 commits to master branch, last one 5 months ago
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
Created
2022-01-22
6 commits to main branch, last one 2 years ago
Verified message-passing programs in Dotty
Created
2019-04-18
44 commits to master branch, last one 3 years ago
Distributed termination detection on a ring, due to Shmuel Safra:
Created
2021-09-20
102 commits to main branch, last one 10 months ago
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
This repository has been archived
(exclude archived)
Created
2021-05-17
104 commits to main branch, last one about a year ago