Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-locate

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphas

It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31-

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