formal methods
Sign in to savemathematical program specification intended to allow correctness proofs, including algorithmically
Wikidata facts
Show 3 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/formal-methods
- topic's main category
- Category:Formal methods
- Commons category
- Formal methods
via Wikidata · CC0