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.
1published pages
Sign in to contribute
Collaborative knowledgeBuscar
1 resultados
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search