Although formal analysis programming techniques may be quite old, the introduction of formal meth...

Formal methods are a robust approach for problem solving. It is based on logic and algebraic m...

This book presents real-world examples of formal techniques in an industrial context. It covers f...

This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium ...

All modern industries rely on large and complex software systems. In order to construct such larg...

Today, formal methods are widely recognized as an essential step in the design process of industr...

Through fundamental contributions from leading researchers, this volume describes the use of f...

Although formal analysis programming techniques may be quite old, the introduction of formal meth...

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method...

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian S...

At present the literature gives students and researchers of the very general books on the formal ...

The name "e;temporal logic"e; may sound complex and daunting; but while they describe pot...