- Tytuł:
- Bounded Model Checking for the Universal Fragment of CTL
- Autorzy:
-
Penczek, W.
Woźna, B.
Zbrzezny, A. - Data publikacji:
- 2002
- Słowa kluczowe:
-
bounded model checking
logic ACTL (ECTL)
bounded semantics
translation to SAT
elementary eet systems
system verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł