Verification-Friendly Specification of Distributed Systems

摘要

The traditional modularization of specifications of distributed systems is based on the intended implementation level structure. While suitable for guding implementation work, this modularization is often not well suited for verification. We show how a specification methodology based on superposition can be used to modularize specification in a way that makes verification more feasible.