Kategoria:Sprawdzenie modelu
Strony w kategorii „Sprawdzenie modelu”
A
Automat Büchiego
Automat Mullera
B
Binarny diagram decyzyjny
C
Czasowa logika zdaniowo-temporalna
Częściowa redukcja zamówienia
J
Język koordynacji Reo
L
Liniowa logika czasowa do automatu Büchiego
Liniowa właściwość czasu
Logika czasowa przedziału metrycznego
M
Metryczna logika temporalna
Model Kripkego
N
Naprzemienny automat czasowy
R
Rachunek modalny μ
Region (sprawdzanie modelu)
S
Sprawdzanie modelu abstrakcyjnego
Sprawdzenie modelu
Sygnał (sprawdzanie modelu)
Symboliczna ocena trajektorii
Słowo czasowe
U
Uogólniony automat Büchiego
W
Właściwości bezpieczeństwa i żywotności
Z
Zegar (sprawdzenie modelu)