Statebox is building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination. In addition, the language is visual and allows one to inspect the flow of the program as it is executing. These properties make Statebox suitable for distributed systems, blockchains, workflow management systems, application orchestration and system architecture.
Sign up now to get your own personalized crypto world!Sign up
<iframe src="https://embed.block123.com/embed/s/100123333881.htm" style="border: none;" width="490" height="164" frameborder="0" scrolling="no" allowfullscreen></iframe>
- CYBAVO Secure and usable cryptocurrency wallet for daily business operation.
- Jelurida Think Blockchain. Experience Blockchain.
- Data For Science Take Control Of Your Data.
- Brian Hershey VC at Eight Roads Ventures.
- Guillaume Palayer Co-founder of BeToken Fund.
- DLTLAB Distributed Ledger Technology development studio.
- Astro Ledger Funding space grants with blockchain star naming.
- Craig Hawco Privacy and Machine Learning Engineer for CryptoNumerics.
- Infinity Blockchain Labs IBL.
- Project Hydro The Life of the New Global Decentralized Economy.