000			03430nam a22006135i 4500
001			978-3-319-49812-6
003			DE-He213
005			20200420221258.0
007			cr nn 008mamaa
008			161220s2016 gw | s |||| 0|eng d
020			_a9783319498126 _9978-3-319-49812-6
024	7		_a10.1007/978-3-319-49812-6 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
245	1	0	_aDeductive Software Verification - The KeY Book _h[electronic resource] : _bFrom Theory to Practice / _cedited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H�ahnle, Peter H. Schmitt, Mattias Ulbrich.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016.
300			_aXXXII, 702 p. 110 illus. _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 ; _v10001
505	0		_aFoundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies.
520			_aStatic analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond).< < The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aProgramming languages (Electronic computers).
650		0	_aComputer logic.
650		0	_aMathematical logic.
650		0	_aArtificial intelligence.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aArtificial Intelligence (incl. Robotics).
700	1		_aAhrendt, Wolfgang. _eeditor.
700	1		_aBeckert, Bernhard. _eeditor.
700	1		_aBubel, Richard. _eeditor.
700	1		_aH�ahnle, Reiner. _eeditor.
700	1		_aSchmitt, Peter H. _eeditor.
700	1		_aUlbrich, Mattias. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783319498119
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v10001
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-49812-6
912			_aZDB-2-SCS
912			_aZDB-2-LNC
942			_cEBK
999			_c53054 _d53054