@inproceedings{DB_TACAS18,

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.},
	
Address = {Cham},
Author = {Costa, Gabriele and Basin, David and Bodei, Chiara and Degano, Pierpaolo and Galletta, Letterio},
Booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
Editor = {Beyer, Dirk and Huisman, Marieke},
Isbn = {978-3-319-89960-2},
Pages = {344--361},
Publisher = {Springer International Publishing},
Title = {From Natural Projection to Partial Model Checking and Back},
Year = {2018}
}