Čo u mysli design pre overenie

[lufeng21cn]

ako metódu overovania tvrdenie, môže poskytnúť vhodný cestu na overenie návrhu.

 

[jackson_peng]

v jednoduchej slovami, použitie "výrazu" v vylepšiť ladenie čas. Rovnako ako to už robí v jazyku C.

 

[sarath51]

Requries procesu overovania. Verifiaction modely správania modely lavice a testovacích prípadov Inými slovami možno povedať, že návrh test Becch a budovanie vysokej úrovne trasactors nad modelov správania také, že skúška prípadoch môže byť písaný v efektívnym spôsobom. Všeobecne môže tiež zahŕňať iuntergrated monotirs a dámy pomocou tvrdenia a ďalších House Keeping modulov