Reactive Systems Group

CISPA Helmholtz Center for Information Security

Pinned Repositories

bosy
BoSy is a reactive synthesis tool based on constraint-solving
Language:Swift19 7 711
deepltl
Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
Language:Python29 8 33
eahyper
A Satisfiability Solver for Hyperproperties
Language:C++3 4 01
icedude
A programming tool for the iCE40 FPGA evaluation boards.
Language:Haskell13 4 21
MCHyper
A hardware model checker for hyperproperties
Language:Verilog18 5 21
realizer
Simple solver for safety games as specified by the synthesis competition (SYNTCOMP)
Language:Python0 2 00
RTLola-Frontend
Language:Rust2 3 01
RTLola-Interpreter
Language:Rust1 5 00
syfco
Synthesis Format Conversion Tool
Language:Haskell23 5 3811
tsltools
Library and tools for the TSL specification format
Language:Haskell8 5 49

Reactive Systems Group's Repositories

reactive-systems/deepltl
Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
Language:Python29 8 33
reactive-systems/syfco
Synthesis Format Conversion Tool
Language:Haskell23 5 3811
reactive-systems/bosy
BoSy is a reactive synthesis tool based on constraint-solving
Language:Swift19 7 711
reactive-systems/MCHyper
A hardware model checker for hyperproperties
Language:Verilog18 5 21
reactive-systems/icedude
A programming tool for the iCE40 FPGA evaluation boards.
Language:Haskell13 4 21
reactive-systems/ml2
Machine Learning for Mathematics and Logics
Language:Python8 3 15
reactive-systems/RTLola
Language:Rust8 6 02
reactive-systems/tsltools
Library and tools for the TSL specification format
Language:Haskell8 5 49
reactive-systems/circuit-repair
Iterative Circuit Repair Against Formal Specifications
Language:Python4 0 01
reactive-systems/REHyper
Runtime enforcement for hyperproperties given as universal HyperLTL formulas
Language:Rust4 4 00
reactive-systems/eahyper
A Satisfiability Solver for Hyperproperties
Language:C++3 4 01
reactive-systems/explaining-hyperproperty-violations
Implementation of the CAV'22 paper "Explaining Hyperproperty Violations"
Language:Python3 6 0
reactive-systems/cabpy
CabPy, a game solver for reachability games specified by formulas over the theory of linear arithmetic.
Language:Python2 5 0
reactive-systems/RTLola-Frontend
Language:Rust2 3 01
reactive-systems/libsolve
A collection of data structures and SAT solver interfaces for writing solvers
Language:C1 1 01
reactive-systems/Lola2RustArtifact
Language:Rust1 4 0
reactive-systems/RTLola-Interpreter
Language:Rust1 5 00
reactive-systems/TGAN-SR
Implementation of the paper "Generating Symbolic Reasoning Problems with Transformer GANs" (https://arxiv.org/abs/2110.10054)
Language:Python1 5 00
reactive-systems/hanoi
Haskell Hanoi Automation Library
Language:Haskell0 6 01
reactive-systems/LiveSynthesisArtifact
Language:Python0 4 00
reactive-systems/corp
A tool to synthesize causes for omega-regular properties.
Language:Python6 0
reactive-systems/HyGaViz
Language:JavaScript5 0
reactive-systems/hyperatl
Language:Java3 0
reactive-systems/LuSy
5 0
reactive-systems/NeuroSynt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
Language:Python5 01
reactive-systems/nsc24
Project for Neuro-Symbolic Computing Seminar 24
Language:Python6 01
reactive-systems/quabs
QuAbS is a circuit-based QBF solver
Language:C1 01
reactive-systems/RTLola-Kotlin-Bridge
Language:Rust5 0
reactive-systems/rtlola-rtlolamo3vis
A Mobile and Modular Visualization Framework for Online Monitoring accepted at RV2024
Language:C#
reactive-systems/rtlola-uav-specifications
This repository contains the RTLola specifications that have been developed as part of a research project between CISPA, DLR, and Volocopter.
6 0