#
tlaps
Here are 6 public repositories matching this topic...
Markdown to LaTeX
markdown command-line-app latex markdown-parser latex-document xelatex markdown-to-pdf command-line-interface tla-plus tlaplus tla-specification tlaps markdown-to-latex
-
Updated
Jun 5, 2026 - Python
ASET Network extends ASET Seed with distributed evidence admission while preserving local recognition authority, with independently authored operational, relational, and causal assurance representations.
distributed-systems interoperability compatibility model-checking formal-methods petri-nets assurance formal-verification network-extension tla-plus aset tlaps conformance-testing deterministic-builds open-specification evidence-admission authority-seeded-evidence-trails aset-network
-
Updated
Aug 18, 2026 - Python
ASET Runtime is the bounded execution lifecycle extension for ASET Seed. Execution may produce material; recognition remains local to Seed.
runtime interoperability model-checking formal-methods petri-nets assurance formal-verification tla-plus aset tlaps conformance-testing deterministic-builds open-specification bounded-execution authority-seeded-evidence-trails aset-runtime execution-lifecycle
-
Updated
Aug 18, 2026 - Python
Minimal proposal layer over ASET Seed with formal assurance and reproducible release verification.
formal-methods assurance reference-implementation formal-verification reproducible-builds tla-plus aset tlaps semantic-contracts
-
Updated
Aug 18, 2026 - Python
Add this topic to your repo
To associate your repository with the tlaps topic, visit your repo's landing page and select "manage topics."