formele methoden
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
Article · Nederlands
Een formele methode is een op wiskunde en formele logica gebaseerde methode om software en hardwaresystemen te specificeren en te verifiëren. Het doel van (het gebruik van) formele methoden is: * het eenduidig en volledig specificeren van de werking van een te ontwerpen programma of algoritme, en * het leveren van een systematisch en sluitend bewijs van de correctheid van een programma of algoritme.
Abstract from DBpedia / Wikipedia · CC BY-SA