Descubre con el Profesor Asociado Bas Spitters los Contratos Inteligentes de Concordium y la Verificación Formal.
El Profesor Spitters lidera el equipo de verificación formal en el Centro de Investigación de Blockchain de Concordium en la Universidad de Aarhus, Dinamarca.
La verificación formal es una técnica para demostrar, con certeza matemática, que el software cumple con su especificación formal, asegurando así que se comporta como se desea. Es el nivel más alto de calidad del software.
--
Únete a Concordium en nuestros diferentes canales: