Formal Methods: State of the Art and New Directions
Description
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.
Keywords
ComputersSoftware Development & EngineeringMathematicsLogicProgramming LanguagesInformation TechnologyDiscrete Mathematics
2009Book
Author(s)Paul Boca, J. P. Bowen, J. I. Siddiqi
PublisherSpringer London
ISBN9781848827356
LanguageEnglish
