000			02911nam a22005655i 4500
001			978-3-642-20398-5
003			DE-He213
005			20160624102156.0
007			cr nn 008mamaa
008			110406s2011 gw | s |||| 0|eng d
020			_a9783642203985 _9978-3-642-20398-5
024	7		_a10.1007/978-3-642-20398-5 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
245	1	0	_aNASA Formal Methods _h[electronic resource] : _bThird International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / _cedited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011.
300			_aXIV, 534 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v6617
520			_aThis book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aOperating systems (Computers).
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aOperating Systems.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aSoftware Engineering/Programming and Operating Systems.
650	2	4	_aProgramming Techniques.
700	1		_aBobaru, Mihaela. _eeditor.
700	1		_aHavelund, Klaus. _eeditor.
700	1		_aHolzmann, Gerard J. _eeditor.
700	1		_aJoshi, Rajeev. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642203978
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6617
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-20398-5
942			_2EBK9585 _cEBK
999			_c38879 _d38879