Kategoria:Warcaby wzorcowe
Strony w kategorii „Warcaby wzorcowe”
B
Budowa i analiza procesów rozproszonych
F
FDR (oprogramowanie)
K
Kontroler modeli BLAST
Kontroler modeli PRISM
Kontroler modeli TAPA
Kontroler modelu SPIN
L
Libdmc
Lista narzędzi do sprawdzania modeli
M
MCRL2
N
Narzędzie do sprawdzania modeli TAPAAL
NuSMV
P
PAT (kontroler modeli)
Promela
S
Sprawdzanie modelu Romeo
U
Uppaal Model Checker
Z
Zestaw narzędzi do analizy statycznej oprogramowania MALPAS