formální ověření správnosti programu je velmi podobné formálnímu ověření matematických vět, a tedy i v tomto případě mohou automatické dokazovače podstatně usnadnit práci.
Automatické dokazování, verifikace softwaru i hardwaru
- Science World
- 13. 9 2013 (07:35)