reactive-systems/bosy

BoSy is a reactive synthesis tool based on constraint-solving

Language: Swift - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 11

meyerphi/strix

Strix is a tool for reactive synthesis of controllers from LTL specifications.

Language: Rust - Size: 1.09 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 1

MatiasBrizzio/AuRUS

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Language: Java - Size: 156 MB - Last synced at: 21 days ago - Pushed at: 11 months ago - Stars: 4 - Forks: 1

owl-toolkit/owl

Language: Java - Size: 10.8 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

mkhaled87/pFaces-AMYTISS

A tool for parallel automated controller synthesis for large-scale stochastic systems.

Language: C++ - Size: 26.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 3

dSynMa/syMTri

A tool for reactive synthesis with monitor triggers.

Language: Python - Size: 909 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

shaunazzopardi/sweap

A tool for symbolic finite and infinite-state reactive synthesis

Language: HTML - Size: 217 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 2 - Forks: 0

lou1306/homebrew-formal Fork of mht208/homebrew-formal

Homebrew formulae for formal methods

Language: Ruby - Size: 259 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

abhibp1993/formal-tic-tac-toe

Implements Formal Methods based Never-Losing Robot Player for Tic-Tac-Toe

Language: Python - Size: 564 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

FilippoFantinato/simple-synthetiser

Just a simple safety and co-safety synthesizer

Language: C - Size: 2.44 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

eliyaoo32/DepSynt

Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.

Language: C - Size: 158 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0