Skip to content
#

aset-network

Star

Here is 1 public repository matching this topic...

attractor-set / aset-network

Star 0

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

Improve this page

Add a description, image, and links to the aset-network 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 aset-network topic, visit your repo's landing page and select "manage topics."

Learn more