Bogdan Stanciu

runtime-verification-completes-another-successful-engagement-with-platon-networks

runtime-verification-completes-another-successful-engagement-with-platon-networks.png

Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

PlatON

Runtime Verification completes another successful engagement with PlatON Networks

runtime-verification-enters-a-protocol-verification-agreement-with-platon

runtime-verification-enters-a-protocol-verification-agreement-with-platon.png

Runtime Verification enters a protocol verification agreement with PlatON

runtime-verification-joins-the-enterprise-ethereum-alliance

Posts by Bogdan Stanciu

Runtime Verification completes another successful engagement with PlatON Networks

Runtime Verification enters a protocol verification agreement with PlatON

Runtime Verification joins the Enterprise Ethereum Alliance

Have critical software that has to be right? Let's talk.