000 | 03719nam a22006495i 4500 | ||
---|---|---|---|
001 | 978-3-031-25803-9 | ||
003 | DE-He213 | ||
005 | 20240207153432.0 | ||
007 | cr nn 008mamaa | ||
008 | 230131s2023 sz | s |||| 0|eng d | ||
020 |
_a9783031258039 _9978-3-031-25803-9 |
||
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aVerified Software. Theories, Tools and Experiments. _h[electronic resource] : _b14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / _cedited by Akash Lal, Stefano Tonetta. |
250 | _a1st ed. 2023. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2023. |
|
300 |
_aVIII, 167 p. 215 illus., 20 illus. in color. _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, _x1611-3349 ; _v13800 |
|
500 | _aAcceso multiusuario | ||
505 | 0 | _aCompositional Safety LTL Synthesis -- Leroy and Blazy were right: their memory model soundness proof is automatable -- Shellac: a compiler synthesizer for concurrent programs -- A sequentialization procedure for fault-tolerant protocols -- Towards Practical Partial Order Reduction for High-Level Formalisms -- SMT-based Verification of Persistency Invariants of Px86 Programs -- A Formal Semantics for P-Code -- Separating Separation Logic - Modular Verification of Red-Black Trees -- Residual Runtime Verification via Reachability Analysis. | |
520 | _aThis book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. | ||
541 |
_fUABC ; _cPerpetuidad |
||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputers. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer systems. | |
650 | 0 | _aComputers, Special purpose. | |
650 | 0 | _aLogic programming. | |
650 | 1 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aComputer Hardware. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aComputer System Implementation. |
650 | 2 | 4 | _aSpecial Purpose and Application-Based Systems. |
650 | 2 | 4 | _aLogic in AI. |
700 | 1 |
_aLal, Akash. _eeditor. _0(orcid)0009-0002-4359-9378 _1https://orcid.org/0009-0002-4359-9378 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aTonetta, Stefano. _eeditor. _0(orcid)0000-0001-9091-7899 _1https://orcid.org/0000-0001-9091-7899 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031258022 |
776 | 0 | 8 |
_iPrinted edition: _z9783031258046 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13800 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-25803-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c260176 _d260175 |