Show simple item record

dc.contributor.author
Costa, Gabriele
dc.contributor.author
Basin, David
dc.contributor.author
Bodei, Chiara
dc.contributor.author
Degano, Pierpaolo
dc.contributor.author
Galletta, Letterio
dc.contributor.editor
Beyer, Dirk
dc.contributor.editor
Huisman, Marieke
dc.date.accessioned
2018-06-15T07:26:24Z
dc.date.available
2018-06-11T12:18:21Z
dc.date.available
2018-06-15T07:26:24Z
dc.date.issued
2018
dc.identifier.isbn
978-3-319-89959-6
en_US
dc.identifier.isbn
978-3-319-89960-2
en_US
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-89960-2_19
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/269098
dc.identifier.doi
10.3929/ethz-b-000269098
dc.description.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.
en_US
dc.format
application/pdf
en_US
dc.language.iso
en
en_US
dc.publisher
Springer International Publishing
en_US
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
dc.title
From Natural Projection to Partial Model Checking and Back
en_US
dc.type
Conference Paper
dc.rights.license
Creative Commons Attribution 4.0 International
dc.date.published
2018-04-12
ethz.book.title
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 I
en_US
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
10805
en_US
ethz.journal.abbreviated
LNCS
ethz.pages.start
344
en_US
ethz.pages.end
361
en_US
ethz.version.deposit
publishedVersion
en_US
ethz.event
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018)
en_US
ethz.event.location
Thessaloniki, Greece
en_US
ethz.event.date
April 14-20, 2018
en_US
ethz.publication.place
Cham
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.date.deposited
2018-06-11T12:18:23Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2018-06-15T07:26:49Z
ethz.rosetta.lastUpdated
2022-03-28T20:27:37Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=From%20Natural%20Projection%20to%20Partial%20Model%20Checking%20and%20Back&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2018&rft.volume=10805&rft.spage=344&rft.epage=361&rft.issn=0302-9743&1611-3349&rft.au=Costa,%20Gabriele&Basin,%20David&Bodei,%20Chiara&Degano,%20Pierpaolo&Galletta,%20Letterio&rft.isbn=978-3-319-89959-6&978-3-319-89960-2&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-319-89960-2_19&rft.btitle=Tools%20and%20Algorithms%20for%20the%20Construction%20and%20Analysis%20of%20Systems.%2024th%20International%20Conference,%20TACAS%202018,%20Held%20as%20Part%20of%20the%2
 Search print copy at ETH Library

Files in this item

Thumbnail

Publication type

Show simple item record