Formal Methods
Proving that a program or protocol meets its specification, with model checking, theorem proving and static analysis.
- Travaux
- 0 travail
- Personnes
- 0 chercheur
Catégories liées
Chercheurs dans Formal Methods
Personne n'a encore indiqué cette catégorie parmi ses centres d'intérêt.
Ajoutez-la à vos intérêts et vous apparaîtrez ici.
Travaux dans Formal Methods
Aucune publication trouvée dans cette catégorie pour le moment.