- Tytuł:
- Comparing SAT- and SMT- based bounded model checking for Ectl properties
- Autorzy:
- Zbrzezny, A. M.
- Powiązania:
- https://bibliotekanauki.pl/articles/121769.pdf
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
logika drzewa obliczeniowego
system sterowania
metoda ograniczonego modelowania
computational tree logic
control system
limited modelling method - Opis:
- We compare two bounded model checking methods for properties expressed in the existential fragment of Computation Tree Logic (Ectl). To this end we use the generic pipeline paradigm (GPP) and the train controller system (TC), the classic concurrency problems, which we formalise by means of a finite transition system. We consider several properties of the problems that can be expressed in Ectl logic, and we present the performance evaluation of the mentioned bounded model checking methods by means of the running time and the memory used.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2017, 22; 161-175
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki
Artykuł