Formale Überprüfung
Mathematische Methoden zum Nachweis, dass Hardware, Software oder Protokolle unter expliziten Annahmen genau angegebene Eigenschaften erfüllen.
SCIENDIA Knowledge Desk
Read article
Collaborative knowledge
Sciendia Wiki
A living academic reference written, refined and transparently versioned by the Sciendia community.
2published pages
Sign in to contribute
Collaborative knowledgeSuchen
2 Treffer
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Blockchain-Konsens
Wie sich verteilte Teilnehmer trotz Verzögerungen, Ausfällen und widersprüchlichen Vorschlägen auf ein Ordered Ledger einigen.
SCIENDIA Knowledge Desk
Read article