UBIDECO Institute
Ubiquitous Deterministic Computing
UBIDECO Institute is a non-profit stewarding open-source academic research and applied development of computing systems (hardware, virtual machines, environments) which are formally verifiable and can work deterministically producing the same results independently of the used platform in a trustless way.
Projects
Currently, UBIDECO Institute runs three highly-related projects:
Last updated