formally-verified

There are 0 repository under formally-verified topic.

statebox / fsm-oracle
Finite state machines as graphs
state-machines category-theory formally-verified
Language:Idris 58
cryspen / hacl-packages
The Cryspen HACL Distribution
cryptography formally-verified aead decryption encryption hkdf hmac signatures digest hashing
Language:C 12
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++ 8
0xd34df00d / gcd
Euclidean algorithm, formally verified, provably correct
idris formal-verification formally-verified provably-correct
Language:Idris

statebox / fsm-oracle