REAL

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers

Czipó, Bence and Hajdu, Ákos and Tóth, Tamás and Majzik, István (2017) Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. In: Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures. Electronic Proceedings in Theoretical Computer Science (245). Open Publishing Association, Uppsala, pp. 31-45.

[img]
Preview
Text
fesca17cegar_author_pdfa_u.pdf

Download (361kB) | Preview
Item Type: Book Section
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 31 Jul 2017 13:37
Last Modified: 31 Jul 2017 13:37
URI: http://real.mtak.hu/id/eprint/57635

Actions (login required)

Edit Item Edit Item