Verificación formal
Métodos matemáticos para probar que hardware, software o protocolos satisfacen propiedades especificadas precisamente bajo suposiciones explícitas.
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
Pruebas de cero conocimiento
Los protocolos crípteos que prueban que una declaración es verdadera sin revelar el testigo secreto que lo hace realidad.
SCIENDIA Knowledge Desk
Read article