Verificação formal
Métodos matemáticos para provar que hardware, software ou protocolos satisfazem propriedades declaradamente precisas sob suposições explícita.
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 knowledgeBuscar
2 resultados
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Provas de Conhecimento Zero
Protocolos criptográficos que provam uma declaração é verdade sem revelar a testemunha secreta, o qual torna verdadeira.
SCIENDIA Knowledge Desk
Read article