Formal Methods
Proving that a program or protocol meets its specification, with model checking, theorem proving and static analysis.
- Arbeiten
- 0 Arbeiten
- Personen
- 0 Forschende
Verwandte Kategorien
Forscher in Formal Methods
Bisher führt niemand diese Kategorie als Forschungsinteresse.
Füge sie deinen Interessen hinzu, dann erscheinst du hier.
Werke in Formal Methods
Noch keine Publikationen in dieser Kategorie gefunden.