Formal Methods
Proving that a program or protocol meets its specification, with model checking, theorem proving and static analysis.
- Works
- 0 works
- People
- 0 researchers
Related categories
Researchers in Formal Methods
Nobody lists this category as a research interest yet.
Add it to your interests and you will show up here.
Works in Formal Methods
No publications found in this category yet.