reactive-systems Goto Github PK

aiger-ltl-model-checker

automata-tools-wrappers

Haskell library featuring wrappers for automata tools such as ltl2tgba, autfilt, randaut (Spot)

bosy

BoSy is a reactive synthesis tool based on constraint-solving

cabpy

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

circuit-repair

Iterative Circuit Repair Against Formal Specifications

corp

A tool to synthesize causes for omega-regular properties.

deepltl

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

eahyper

A Satisfiability Solver for Hyperproperties

edacc_client

Computation Client

edacc_gui

Graphical user interface for database and experiment administration

edacc_user_guide

User guide

edacc_web

EDACC Web Frontend

explaining-hyperproperty-violations

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

hanoi

Haskell Hanoi Automation Library

homebrew-react

Homebrew formulas

hygaviz

hyperatl

icedude

A programming tool for the iCE40 FPGA evaluation boards.

kitchentimer

A kitchen timer that is synthesized from a TSL specification.

libsolve

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

livesynthesisartifact

lola2rustartifact

lusy

mchyper

A hardware model checker for hyperproperties

ml2

Machine Learning for Mathematics and Logics

neurosynt

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

nsc24

Project for Neuro-Symbolic Computing Seminar 24

quabs

QuAbS is a circuit-based QBF solver

realizer

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

rehyper

Runtime enforcement for hyperproperties given as universal HyperLTL formulas