Runtime Verification completes another successful engagement with PlatON Networks

Runtime Verification is pleased to announce the successful completion of its engagement with PlatON Networks. This engagement focused on verifying the safety property of PlatON’s Giskard Consensus Protocol using the Coq proof assistant. The Giskard consensus protocol is used to validate transactions and computations in the PlatON network.

Continue reading