Discover with Associate Professor Bas Spitters Concordium Smart Contracts and Formal Verification.
Professor Spitters heads the formal verification team at the Concordium Blockchain Research Center at Aarhus University, Denmark.
Formal verification is a technique to prove, with mathematical certainty, that software meets its formal specification, thus making sure it behaves as desired. It is the highest level of software quality.
--
Join Concordium in our different channels: