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
A living academic reference written, refined and transparently versioned by the Sciendia community.
Collaborative knowledgeRechercher
1 résultats
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear searchMé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.