Describir: Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking