Open access
Autor(in)
Alle anzeigen
Datum
2018Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Abstract
Specification decomposition is a theoretically interesting and practically relevant problem for which two approaches were independently developed by the control theory and verification communities: natural projection and partial model checking. In this paper we show that, under reasonable assumptions, natural projection reduces to partial model checking and, when cast in a common setting, the two are equivalent. Aside from their theoretical interest, our results build a bridge whereby the control theory community can reuse algorithms and results developed by the verification community. In addition, we present an algorithm and a tool for the partial model checking of finite-state automata that can be used as an alternative to natural projection. Mehr anzeigen
Persistenter Link
https://doi.org/10.3929/ethz-b-000269098Publikationsstatus
publishedExterne Links
Buchtitel
Tools and Algorithms for the Construction and Analysis of Systems. 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03634 - Basin, David / Basin, David
ETH Bibliographie
yes
Altmetrics