Description
Condition: BRAND NEW
ISBN: 9780470876183
Year: 2012
Publisher: John Wiley & Sons Inc (US)
Pages: 292
Description:
Today, formal methods are widely recognized as an essential step in
the design process of industrial safety-critical systems. In its
more general definition, the term formal methods encompasses all
notations having a precise mathematical semantics, together with
their associated analysis methods, that allow description and
reasoning about the behavior of a system in a formal manner.
Growing out of more than a decade of award-winning collaborative
work within the European Research Consortium for Informatics and
Mathematics, Formal Methods for Industrial Critical Systems: A
Survey of Applications presents a number of mainstream formal
methods currently used for designing industrial critical systems,
with a focus on model checking. The purpose of the book is
threefold: to reduce the effort required to learn formal
methods, which has been a major drawback for their
industrial dissemination; to help designers to adopt the formal
methods which are most appropriate for their systems; and to offer
a panel of state-of-the-art techniques and tools for analyzing
critical systems.
ISBN: 9780470876183
Year: 2012
Publisher: John Wiley & Sons Inc (US)
Pages: 292
Description:
Today, formal methods are widely recognized as an essential step in
the design process of industrial safety-critical systems. In its
more general definition, the term formal methods encompasses all
notations having a precise mathematical semantics, together with
their associated analysis methods, that allow description and
reasoning about the behavior of a system in a formal manner.
Growing out of more than a decade of award-winning collaborative
work within the European Research Consortium for Informatics and
Mathematics, Formal Methods for Industrial Critical Systems: A
Survey of Applications presents a number of mainstream formal
methods currently used for designing industrial critical systems,
with a focus on model checking. The purpose of the book is
threefold: to reduce the effort required to learn formal
methods, which has been a major drawback for their
industrial dissemination; to help designers to adopt the formal
methods which are most appropriate for their systems; and to offer
a panel of state-of-the-art techniques and tools for analyzing
critical systems.