Vérification formelle
Méthodes mathématiques pour prouver que le matériel, le logiciel ou les protocoles satisfont aux propriétés précisées dans des hypothèses explicites.
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 knowledgeRechercher
2 résultats
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Consensus sur la blockchain
Comment les participants distribués s'accordent sur un grand livre ordonné malgré les retards, les échecs et les propositions contradictoires.
SCIENDIA Knowledge Desk
Read article