This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, curr

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their applica