Skip to content
#

deterministic-theorem

Star

Here is 1 public repository matching this topic...

al-alawi-deterministic-theorem / -Alalawi-Deterministic-Sovereign-Core-ADSC-HCSP-

Star 0

"A mathematically-verified deterministic core acting as a security filter. Fully proved (19/19 obligations) via Frama-C (Alt-Ergo/Why3), Coq, TAL+, and LTL.

computer-science formal-verification frama-c linear-temporal-logic tla-plus why3 coq-proofs security-filter high-assurance deterministic-system al-alawi-deterministic-theorem sovereign-core alalawi-deterministic-core deterministic-sovereign-core adsc-hcsp al-alawi-theorem deterministic-theorem
  • Updated Jun 23, 2026
  • Rocq Prover

Improve this page

Add a description, image, and links to the deterministic-theorem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the deterministic-theorem topic, visit your repo's landing page and select "manage topics."

Learn more