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 brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which

Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction pro

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Sy

This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Timely topics, techniques and trends in embedded system de