Explore projects

Spot / divine-ltsmin-deb
GNU Lesser General Public License v2.1 only

Debian package to distribute the divine binary patched for LTSmin.

0

Updated Feb 25, 2025

0 0 0

Updated Feb 25, 2025
Spot / spot-web

Web server for Spot

Topics: docker spot web

0

Updated Dec 04, 2024

0 0 0 0

Updated Dec 04, 2024
B

Anissa Kheireddine / BMCTool

Optimized tool for parallel Bounded model-checking problem

0

Updated Jun 26, 2024

0 0 0 5

Updated Jun 26, 2024
S

Spot / spot-web-app
GNU General Public License v3.0 only

Online application for rewriting LTL formula or translating them into automata.

0

Updated Feb 06, 2024

0 0 0 3

Updated Feb 06, 2024
S

Cours / sinum-sem-recherche

0

Updated Jun 27, 2023

0 0 0 0

Updated Jun 27, 2023
T

Clément Démoulins / test-ci

0

Updated Jun 23, 2022

0 0 0 0

Updated Jun 23, 2022
O

Olena / olena-demos

2

Updated Mar 27, 2022

2 0

Updated Mar 27, 2022