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
The purpose of the INCA program is to make sophisticated formal verification methods accessible to all companies that develop code.
Read more
Read more