metody formalne
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 · Polski
Metody formalne (ang. formal methods) – oparte na matematyce podejścia do specyfikacji, projektowania i weryfikacji oprogramowania lub systemów informatycznych. Użycie notacji i języków ze zdefiniowanym matematycznym znaczeniem pozwala precyzyjnie określić, co system informatyczny powinien robić, jakie mają być jego właściwości oraz zweryfikować poprawność działania systemu.
Abstract from DBpedia / Wikipedia · CC BY-SA