Entdecken Sie mit Professor Bas Spitters die Concordium Smart Contracts und die formale Verifikation.
Professor Spitters leitet das Team für formale Verifikation am Concordium Blockchain Research Center der Universität Aarhus, Dänemark.
Die formale Verifikation ist eine Technik, um mit mathematischer Sicherheit zu beweisen, dass Software ihren formalen Spezifikationen entspricht und somit sicherzustellen, dass sie sich wie gewünscht verhält. Es ist das höchste Niveau der Softwarequalität.
--
Treten Sie Concordium in unseren verschiedenen Kanälen bei: