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 11

Repositories

Showing 10 of 45 repositories
  • 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 8 MIT 5 1 0 Updated Aug 12, 2024
  • syfco Public

    Synthesis Format Conversion Tool

    reactive-systems/syfco’s past year of commit activity
    Haskell 23 MIT 11 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
  • corp Public

    A tool to synthesize causes for omega-regular properties.

    reactive-systems/corp’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Jun 13, 2024
  • icedude Public

    A programming tool for the iCE40 FPGA evaluation boards.

    reactive-systems/icedude’s past year of commit activity
    Haskell 13 MIT 1 1 0 Updated Jun 5, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…