000 02905cam a2200373 i 4500
001 17278306
003 OSt
005 20180418152627.0
008 120430s2013 dcua b 001 0 eng
010 _a 2012016775
020 _a9780470876183
040 _aIISER Bhopal
_beng
_cIISER Bhopal
_erda
042 _apcc
050 0 0 _aQA76.9.F67
_bF654 2013
082 0 0 _a004.0151 G53F
_223
084 _aCOM059000
_2bisacsh
222 _aEECS-reference book collection
245 0 0 _aFormal methods for industrial critical systems :
_ba survey of applications
_cedited by Stefania Gnesi, Instituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche. Pisa, Italy, Tiziana Margaria, University of Potsdam, Potsdam, Germany.
260 _aHoboken, New Jersey :
_bJohn Wiley & Sons,
_c2013.
300 _axxi, 270 pages :
_billustrations ;
_c24 cm
504 _aIncludes bibliographical references and index.
520 _a"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"--
520 _a"Balances leading edge material, established practice, and reviews of historically important contributions"--
650 0 _aFormal methods (Computer science)
_922632
650 7 _aCOMPUTERS / Computer Engineering.
_2bisacsh
_922633
700 1 _aGnesi, Stefania
_922634
700 1 _aMargaria, Tiziana,
_922635
856 4 2 _3Publisher description
_uhttp://www.loc.gov/catdir/enhancements/fy1210/2012016775-d.html
856 4 2 _3Contributor biographical information
_uhttp://www.loc.gov/catdir/enhancements/fy1304/2012016775-b.html
856 4 1 _3Table of contents only
_uhttp://www.loc.gov/catdir/enhancements/fy1305/2012016775-t.html
906 _a7
_bcbc
_corignew
_d1
_eecip
_f20
_gy-gencatlg
942 _2ddc
_cBK
999 _c8411
_d8411