- Tytuł:
- SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties
- Autorzy:
-
Woźna-Szcześniak, B.
Szcześniak, I. - Powiązania:
- https://bibliotekanauki.pl/articles/951862.pdf
- Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
model czasowy
logika czasowa
drzewo obliczeń
timed models
timed logic
computation tree - Opis:
- We define an SAT-based bounded model checking (BMC) method for RTECTLK (the existential fragment of the real-time computation tree logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. Specifically, we translate the model checking problem for RTECTLK to the model checking problem for a variant of branching temporal logic (called EyCTLK) interpreted over an abstract model, and we redefine an SAT-based BMC technique for EyCTLK.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2015, 20; 69-81
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki
Artykuł