Tools {software design tools} can check high-level design models {model checking}, using automated reasoning on structure language, to prove algorithms have no counterexamples or contradictions. Integrated-circuit design uses model checking. Systems have object operations, mappings, and relations, with assertions. Design-checkers try to find cases in which assertions are not true, so designers can exclude those cases.
Mathematical Sciences>Computer Science>Software>Programming>Architecture>Design
3-Computer Science-Software-Programming-Architecture-Design
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224