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.
|
Text
fesca17cegar_author_pdfa_u.pdf Download (361kB) | Preview |
Official URL: https://doi.org/10.4204/EPTCS.245.3
| 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 |
