distributed-systems

Technological advances • July 9, 2024

July 9, 2024 | Formal methods for blockchain

When it comes to consensus-based distributed systems like the most recent blockchain protocols, innovative formal specification and verification methods can help increase trust.

Read more