Skip to content
@reactive-systems

Reactive Systems Group

CISPA Helmholtz Center for Information Security

Pinned Loading

  1. bosy bosy Public

    BoSy is a reactive synthesis tool based on constraint-solving

    Swift 19 11

  2. RTLola-Frontend RTLola-Frontend Public

    Rust 2 1

  3. RTLola-Interpreter RTLola-Interpreter Public

    Rust 1

  4. eahyper eahyper Public

    A Satisfiability Solver for Hyperproperties

    C++ 3 1

  5. realizer realizer Public

    Simple solver for safety games as specified by the synthesis competition (SYNTCOMP)

    Python

  6. syfco syfco Public

    Synthesis Format Conversion Tool

    Haskell 23 12

Repositories

Showing 10 of 46 repositories
  • hanoi Public

    Haskell Hanoi Automation Library

    reactive-systems/hanoi’s past year of commit activity
    Haskell 0 MIT 2 0 0 Updated Nov 15, 2024
  • rt-causality Public Forked from FelixJahnFJ/Real-Time-Causality-Tool

    Project repository for a developed tool for checking and computing causes in the runs of real-time systems modeled in Uppaal.

    reactive-systems/rt-causality’s past year of commit activity
    Python 0 1 0 0 Updated Oct 4, 2024
  • rtlola-rtlolamo3vis Public

    A Mobile and Modular Visualization Framework for Online Monitoring accepted at RV2024

    reactive-systems/rtlola-rtlolamo3vis’s past year of commit activity
    C# 0 Apache-2.0 0 0 0 Updated Aug 30, 2024
  • ml2 Public

    Machine Learning for Mathematics and Logics

    reactive-systems/ml2’s past year of commit activity
    Python 9 MIT 6 2 0 Updated Aug 12, 2024
  • syfco Public

    Synthesis Format Conversion Tool

    reactive-systems/syfco’s past year of commit activity
    Haskell 23 MIT 12 16 1 Updated Aug 7, 2024
  • rtlola-uav-specifications Public

    This repository contains the RTLola specifications that have been developed as part of a research project between CISPA, DLR, and Volocopter.

    reactive-systems/rtlola-uav-specifications’s past year of commit activity
    0 MIT 0 0 0 Updated Jul 6, 2024
  • RTLola-Interpreter Public
    reactive-systems/RTLola-Interpreter’s past year of commit activity
    Rust 1 0 0 0 Updated Jul 2, 2024
  • RTLola-Frontend Public
    reactive-systems/RTLola-Frontend’s past year of commit activity
    Rust 2 1 0 0 Updated Jul 1, 2024
  • nsc24 Public

    Project for Neuro-Symbolic Computing Seminar 24

    reactive-systems/nsc24’s past year of commit activity
    Python 0 1 0 0 Updated Jun 26, 2024
  • MCHyper Public

    A hardware model checker for hyperproperties

    reactive-systems/MCHyper’s past year of commit activity
    Verilog 18 AGPL-3.0 1 1 0 Updated Jun 14, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…