- Tytuł:
- Checking Reachability Properties for Timed Automata via SAT
- Autorzy:
-
Woźna, B.
Penczek, W.
Zbrzezny, A. - Data publikacji:
- 2002
- Słowa kluczowe:
-
problem osiągalności
ograniczona weryfikacja modelowa
translacja do SAT
automat czasowy
wzbogacony graf regionów
dyskretyzacja
reachability problem
bounded model checking
translation to SAT
Timed Automata
Augmented Region Graphs
discretization - Pokaż więcej
- Dostawca treści:
- BazTech