GitHub topics: correct-by-construction
tbmreza/consig
Lean lib for signals simulations. Easy FFI with Python & Octave to keep our formality in check.
Language: Lean - Size: 110 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
mkhaled87/pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
Language: C++ - Size: 70.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 9 - Forks: 2
fgirbal/cbc_adas
Repository for the MSc project "To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling".
Language: Perl 6 - Size: 173 MB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 5
workflowfm/workflowfm-reasoner
A logic-based library for correct-by-construction process modelling and composition.
Language: OCaml - Size: 4.19 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
