Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. | Formal Methods: State of the Art and New Directions by Paul Boca, Paperback | Indigo Chapters