ModelChecking
Autor:
Přisuzování:
Obrázek je označen jako „Vyžadováno uvedení zdroje“ (Attribution Required), ale nebyly uvedeny žádné informace o přiřazení. Při použití šablony MediaWiki pro licence CC-BY byl pravděpodobně parametr atribuce vynechán. Autoři zde mohou najít příklad pro správné použití šablon.
Shortlink:
Zdroj:
Formát:
278 x 201 Pixel (10621 Bytes)
Popis:
Princip fungování model checkingu (nejpoužívanější metoda formální verifikace).
Komentář k Licence:
Můžete si zvolit libovolnou z těchto licencí.
Licence:
Credit:
- self work
- Transferred from cs.wikipedia; transferred to Commons by User:Sevela.p using CommonsHelper.
Relevantní články
Formální verifikaceV oblasti počítačových systémů formální verifikace dokazuje nebo vyvrací správnost systému vzhledem k dané formální specifikaci nebo vlastnosti, použitím matematických formálních metod. .. pokračovat ve čtení