000			04080nam a22006255i 4500
001			978-3-642-54108-7
003			DE-He213
005			20240423125625.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
072		7	_aUMZ _2thema
082	0	4	_a005.1 _223
245	1	0	_aVerified Software: Theorie, 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.
250			_a1st ed. 2014.
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		_aProgramming and Software Engineering, _x2945-9168 ; _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	_aSoftware engineering.
650		0	_aComputer science.
650		0	_aCompilers (Computer programs).
650		0	_aComputer programming.
650		0	_aMachine theory.
650		0	_aArtificial intelligence.
650	1	4	_aSoftware Engineering.
650	2	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aProgramming Techniques.
650	2	4	_aFormal Languages and Automata Theory.
650	2	4	_aArtificial Intelligence.
700	1		_aCohen, Ernie. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aRybalchenko, Andrey. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783642541070
776	0	8	_iPrinted edition: _z9783642541094
830		0	_aProgramming and Software Engineering, _x2945-9168 ; _v8164
856	4	0	_uhttps://doi.org/10.1007/978-3-642-54108-7
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c179977 _d179977