Informal Systems
Sistemas y organizaciones distribuidos verificables.
Sistemas informales, sistemas distribuidos verificables (de máquinas) y organizaciones (de humanos). Se centra en verificar formalmente los protocolos de Cosmos e implementarlos en Rust Language. Visualizamos un ecosistema de código abierto de organizaciones distribuidas gobernadas y de propiedad cooperativa que se ejecutan en sistemas distribuidos confiables.
