This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desir

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Be

Cost Oriented Automation 2004 addresses a new integration environment that enables the evolution of collaborative e-design paradigm. This design paradigm aims a

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of t

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th Internati