- Tytuł:
- Comparing sat-based bounded model checking rtectl and ectl properties
- Autorzy:
- Zbrzezny, A. M.
- Powiązania:
- https://bibliotekanauki.pl/articles/297995.pdf
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Warmińsko-Mazurski w Olsztynie
- Tematy:
-
SAT
bounded model checking
ECTL
RTECTL
translation - Opis:
- We compare two SAT-based bounded model checking algorithms for the properties expressed in the existential fragment of a soft real-time computation tree logic (RTECTL) and 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 both RTECTL and ECTL, 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:
-
Technical Sciences / University of Warmia and Mazury in Olsztyn; 2017, 20(2); 131-147
1505-4675
2083-4527 - Pojawia się w:
- Technical Sciences / University of Warmia and Mazury in Olsztyn
- Dostawca treści:
- Biblioteka Nauki
Artykuł