Ověření Metodika - požadavky na zdroje

[dexter_ex_2ks]

Zdravím všechny, jsem nový v této oblasti, takže moje otázka je, kde najdu nějaké dokumentace o ověření metodiky (pro tuto chvíli, pokud jde o funkční ověření a formální verifikace).A já potřebovat několik příkladů taky.

Díky předem,
a
Hezký den!

 

[ljxpjpjljx]

takže si můžete najít v této BBS!OVM nebo VMM!