- Tytuł:
- Reaching the limits for Bounded Model Checking
- Autorzy:
- Woźna, B.
- Data publikacji:
- 2003
- Słowa kluczowe:
-
ograniczona weryfikacja modelowa
logika TACTL (TECTL)
ograniczona semantyka
translacja do SAT
dyskretny automat czasowy
model konkretny
model abstrakcyjny
model zdyskretyzowany
system weryfikacyjny
bounded model checking
logic TACTL (TECTL)
bounded semantics
translation to SAT
Discrete Timed Automata
concrete model
discretize model
abstract model
system verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł