Giters
Reactive Systems Group (reactive-systems)

Reactive Systems Group

reactive-systems

Geek Repo

CISPA Helmholtz Center for Information Security

Home Page:https://finkbeiner.groups.cispa.de/

Github PK Tool:Github PK Tool

Reactive Systems Group's repositories

deepltl

Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)

Language:PythonLicense:MITStargazers:29Issues:8Issues:3

syfco

Synthesis Format Conversion Tool

Language:HaskellLicense:MITStargazers:23Issues:5Issues:37

bosy

BoSy is a reactive synthesis tool based on constraint-solving

Language:SwiftLicense:AGPL-3.0Stargazers:19Issues:7Issues:7

MCHyper

A hardware model checker for hyperproperties

Language:VerilogLicense:AGPL-3.0Stargazers:18Issues:5Issues:2

icedude

A programming tool for the iCE40 FPGA evaluation boards.

Language:HaskellLicense:MITStargazers:12Issues:4Issues:2

ml2

Machine Learning for Mathematics and Logics

Language:PythonLicense:MITStargazers:8Issues:3Issues:1

RTLola

Language:RustLicense:NOASSERTIONStargazers:8Issues:6Issues:0

tsltools

Library and tools for the TSL specification format

Language:HaskellLicense:NOASSERTIONStargazers:8Issues:5Issues:4

circuit-repair

Iterative Circuit Repair Against Formal Specifications

Language:PythonLicense:MITStargazers:4Issues:0Issues:0

REHyper

Runtime enforcement for hyperproperties given as universal HyperLTL formulas

Language:RustLicense:MITStargazers:4Issues:4Issues:0

eahyper

A Satisfiability Solver for Hyperproperties

Language:C++License:ISCStargazers:3Issues:4Issues:0

explaining-hyperproperty-violations

Implementation of the CAV'22 paper "Explaining Hyperproperty Violations"

Language:PythonLicense:MITStargazers:3Issues:5Issues:0

cabpy

CabPy, a game solver for reachability games specified by formulas over the theory of linear arithmetic.

Language:PythonLicense:MITStargazers:2Issues:5Issues:0

RTLola-Frontend

Language:RustStargazers:2Issues:3Issues:0

libsolve

A collection of data structures and SAT solver interfaces for writing solvers

Language:CStargazers:1Issues:1Issues:0

Lola2RustArtifact

Language:RustLicense:MITStargazers:1Issues:4Issues:0

RTLola-Interpreter

Language:RustLicense:NOASSERTIONStargazers:1Issues:5Issues:0

TGAN-SR

Implementation of the paper "Generating Symbolic Reasoning Problems with Transformer GANs" (https://arxiv.org/abs/2110.10054)

Language:PythonLicense:MITStargazers:1Issues:5Issues:0

hanoi

Haskell Hanoi Automation Library

Language:HaskellLicense:MITStargazers:0Issues:6Issues:0

LiveSynthesisArtifact

Language:PythonLicense:GPL-3.0Stargazers:0Issues:4Issues:0

corp

A tool to synthesize causes for omega-regular properties.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:6Issues:0

HyGaViz

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:5Issues:0

hyperatl

Language:JavaLicense:GPL-3.0Stargazers:0Issues:3Issues:0

LuSy

Stargazers:0Issues:5Issues:0

NeuroSynt

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Language:PythonLicense:NOASSERTIONStargazers:0Issues:5Issues:0

nsc24

Project for Neuro-Symbolic Computing Seminar 24

Language:PythonStargazers:0Issues:0Issues:0

quabs

QuAbS is a circuit-based QBF solver

Language:CStargazers:0Issues:1Issues:0

RTLola-Kotlin-Bridge

Language:RustLicense:MITStargazers:0Issues:5Issues:0

rtlola-rtlolamo3vis

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

License:Apache-2.0Stargazers:0Issues:0Issues:0

rtlola-uav-specifications

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

License:MITStargazers:0Issues:6Issues:0