- Tytuł:
- SAT-Based Bounded Model Checking for the Universal Fragment of TCTL
- Autorzy:
-
Penczek, W.
Woźna, B.
Zbrzezny, A. - Data publikacji:
- 2002
- Słowa kluczowe:
-
ograniczona weryfikacja modelowa
logika TACTL (TECTL)
ograniczona semantyka
translacja do SAT
automat czasowy
graf regionów
dyskretyzacja
system weryfikacyjny
bounded model checking
logic TACTL (TECTL)
bounded semantics
translation to SAT
Timed Automata
Region Graphs
discretization
system verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł