000 | 02385cam a22003135a 4500 | ||
---|---|---|---|
001 | 17278306 | ||
005 | 20161020142146.0 | ||
008 | 120430t2013 njua frb 001 0 eng d | ||
020 | _a9780470876183 | ||
040 |
_aDLC _beng _cDLC _dDLC _dEG-ScBUE |
||
082 | 0 | 4 |
_a004.0151 _222 _bFOR |
245 | 0 | 0 |
_aFormal methods for industrial critical systems : _ba survey of applications / _cedited by Stefania Gnesi, Tiziana Margaria. |
260 |
_aHoboken : _bIEEE Computer Society ; _bJohn Wiley & Sons, _cc.2013. |
||
300 |
_axxi, 270 p. : _bill. ; _c24 cm |
||
500 | _aIndex : p. 269-270. | ||
504 | _aBibliography : p. 264-267. | ||
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"-- | ||
590 | _aSAMEH | ||
650 | 7 |
_aFormal methods (Computer science) _2BUEsh _929211 |
|
650 | 7 |
_aComputer engineering. _2BUEsh _911911 |
|
651 | _2BUEsh | ||
653 |
_bCOMSCI _cOctober2016 |
||
700 | 1 |
_aGnesi, Stefania, _d1954- _eeditor. |
|
700 | 1 |
_aMargaria-Steffen, Tiziana, _d1964- _eeditor. |
|
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 |
942 | _2ddc | ||
999 |
_c22755 _d22727 |