Descubra com o Professor Associado Bas Spitters os Contratos Inteligentes Concordium e a Verificação Formal.
O Professor Spitters lidera a equipe de verificação formal no Centro de Pesquisa em Blockchain Concordium na Universidade de Aarhus, Dinamarca.
A verificação formal é uma técnica para provar, com certeza matemática, que o software atende à sua especificação formal, garantindo assim que se comporte como desejado. É o mais alto nível de qualidade de software.
--
Junte-se ao Concordium em nossos diferentes canais: