correct-by-construction

There are 0 repository under correct-by-construction topic.

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.
parity-game parity-automaton ltl-formula pfaces symbolic-control formal-methods reactive-synt ltl-specifications synthesized-controller dynamical-systems cyber-physical-systems interner-of-things correct-by-construction formally-verified automatic-software code-generation mealy-machine symbolic-model computer-aided-design mission-planning
Language:C++ 10
fgirbal / cbc_adas
Repository for the MSc project "To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling".
correct-by-construction cognitive-models formal-verification formal-methods strategy-synthesis advanced-driver-assistance-systems
Language:Perl 6 4
workflowfm / workflowfm-reasoner
A logic-based library for correct-by-construction process modelling and composition.
theorem-proving business-process-management type-theory workflows workflow-models workflow-management resource-modeling proofs-as-processes correct-by-construction
Language:OCaml 1

correct-by-construction

mkhaled87 / pFaces-OmegaThreads

fgirbal / cbc_adas

workflowfm / workflowfm-reasoner