Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
C++14 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
-
Clojure implementation of rational type expressions
-
-
-
-
Optimized tool for parallel Bounded model-checking problem
-
PaInleSS: a Framework for Parallel SAT Solving.
-
-
-
-
-
Online application for rewriting LTL formula or translating them into automata.
-
-
-
-
Dockerfiles for constructing build environments for Spot
-
-
-
Web server for Spot
-