000			03872nam a22005895i 4500
001			978-3-642-54108-7
003			DE-He213
005			20200421111837.0
007			cr nn 008mamaa
008			140115s2014 gw | s |||| 0|eng d
020			_a9783642541087 _9978-3-642-54108-7
024	7		_a10.1007/978-3-642-54108-7 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
245	1	0	_aVerified Software: Theories, Tools, Experiments _h[electronic resource] : _b5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / _cedited by Ernie Cohen, Andrey Rybalchenko.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2014.
300			_aXVI, 345 p. 83 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 ; _v8164
505	0		_aClassifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility -- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset, memcpy, and Beyond -- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types -- Program Checking with Less Hassle -- Verified Calculations. -- Preserving User Proofs across Specification Changes -- An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames -- Automated Code Proofs on a Formal Model of the X86 -- Verification of a Virtual Filesystem Switch -- Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving -- Formal Verification of Loop Bound Estimation for WCET Analysis -- Result Certification of Static Program Analysers with Automated Theorem Provers -- A Formally Verified Generic Branching Algorithm for Global Optimization.
520			_aThis volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
650		0	_aComputer science.
650		0	_aComputer programming.
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	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aProgramming Techniques.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aArtificial Intelligence (incl. Robotics).
700	1		_aCohen, Ernie. _eeditor.
700	1		_aRybalchenko, Andrey. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642541070
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v8164
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-54108-7
912			_aZDB-2-SCS
912			_aZDB-2-LNC
942			_cEBK
999			_c55327 _d55327