- Tytuł:
- Bounded Model Cheking for Interpreted Systems
- Autorzy:
-
Penczek, W.
Lomuscio, A. - Data publikacji:
- 2002
- Słowa kluczowe:
-
logiki temporalne
interpretowane systemy
logika wiedzy
ograniczona weryfikacja modelowa
translacja do SAT
weryfikacja systemów
interpreted systems
temporal logics
logic for knowledge
bounded model checking
translation to SAT
system verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł