Natural Projection as Partial Model Checking

Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David Basin & Chiara Bodei
Verifying the correctness of a system as a whole requires establishing that it satisfies a global specification. When it does not, it would be helpful to determine which modules are incorrect. As a consequence, specification decomposition is a relevant problem from both a theoretical and practical point of view. Until now, specification decomposition has been independently addressed by the control theory and verification communities through natural projection and partial model checking, respectively. We prove that...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.