-
mCRL2 Public
Forked from mCRL2org/mCRL2The Git repository for the mCRL2 toolset.
C++ Boost Software License 1.0 UpdatedDec 18, 2025 -
TimeSolver Public
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
-
sigrefmc Public
Forked from trolando/sigrefmcMulti-core symbolic bisimulation minimisation
C Apache License 2.0 UpdatedSep 16, 2021 -
ltsmin Public
Forked from utwente-fmt/ltsminThe LTSmin model checking toolset
C BSD 3-Clause "New" or "Revised" License UpdatedSep 15, 2021 -
formal-methods-nl Public
Forked from wouter-swierstra/formal-methods-nlA research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
TeX UpdatedSep 26, 2018 -
benchexec Public
Forked from sosy-lab/benchexecBenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python Apache License 2.0 UpdatedJun 13, 2018 -
TorXakis Public
Forked from TorXakis/TorXakisA tool for Model Based Testing
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 11, 2018 -
paritygame-generator Public
Generator for parity games using various generation techniques to obtain a broad class of games
-
commandline Public
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
C++ UpdatedJul 27, 2017 -
-
pbesstategraph-experiments Public
Repository containing the examples and scripts for the experiments belonging to the paper "Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction"
Python UpdatedMar 29, 2017 -
pgsolver Public
Forked from tcsprojects/pgsolverA collection of tools for generating, manipulating and - most of all - solving parity games.
OCaml UpdatedJul 31, 2015 -
satsolversforocaml Public
Forked from tcsprojects/ocaml-sat-solversSAT Solvers For OCaml
OCaml UpdatedJul 31, 2015 -
minisat2 Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
-
-
muCRL Public
Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)
{{ message }}