Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without ve

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering