ParaDiSe

Faculty of Informatics, Masaryk University; Brno, Czech Republic

Pinned Repositories

bricks
Header-only C++ utility library
Language:C++8 5 01
carma
Converters between Armadillo matrices (C++) and Numpy arrays using Pybind11
Language:C++0 1 00
dipot
Interface between SPOT and DIVINE
Language:C++6 3 22
divine
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.
Language:C++19 6 03
extbench-drivers
Drivers for external tools for DivBench
Language:Python0 3 00
RoFI
Distributed Metamorphic Robots
Language:C++37 5 10010
rofi-lwip
Fork of lwIP with ESP-IDF specific patches (https://github.com/espressif/esp-lwip). Simple routing support added.
Language:C1 1 00
surveyor
Simple benchmarking tool
Language:Python0 5 70
sv-benchmarks
Collection of Verification Tasks
Language:C0 3 00
SymDIVINE
No longer maintained: Verification tool for parallel C/C++ programs with LTL support
Language:C++6 3 62

paradise-fi/RoFI
Distributed Metamorphic Robots
Language:C++37 5 10010
paradise-fi/divine
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.
Language:C++19 6 03
paradise-fi/bricks
Header-only C++ utility library
Language:C++8 5 01
paradise-fi/dipot
Interface between SPOT and DIVINE
Language:C++6 3 22
paradise-fi/SymDIVINE
No longer maintained: Verification tool for parallel C/C++ programs with LTL support
Language:C++6 3 62
paradise-fi/rofi-lwip
Fork of lwIP with ESP-IDF specific patches (https://github.com/espressif/esp-lwip). Simple routing support added.
Language:C1 1 00
paradise-fi/carma
Converters between Armadillo matrices (C++) and Numpy arrays using Pybind11
Language:C++0 1 00
paradise-fi/extbench-drivers
Drivers for external tools for DivBench
Language:Python0 3 00
paradise-fi/surveyor
Simple benchmarking tool
Language:Python0 5 70
paradise-fi/sv-benchmarks
Collection of Verification Tasks
Language:C0 3 00
paradise-fi/utils
Miscellaneous utilities and scripts
Language:Shell0 10 00