Tools and Algorithms for the Construction and Analysis of Systems

These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, and temporal and modal logics.