- Inicio
- UNIR REVISTAS
- Revista IJIMAI
- 2015
- vol. 3, nº 5, december 2015
- Listar vol. 3, nº 5, december 2015 por autor
Listar vol. 3, nº 5, december 2015 por autor "Zbrzezny, Agnieszka"
Mostrando ítems 1-1 de 1
-
Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
Zbrzezny, Agnieszka; Zbrzezny, Andrzej (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)We present an SMT-based bounded model checking (BMC) method for Simply-Timed Systems (STSs) and for the existential fragment of the Real-time Computation Tree Logic. We implemented the SMT-based BMC algorithm and compared ...