LEADER 04791nam 22007815 450 001 996465628103316 005 20230320205652.0 010 $a1-280-38541-3 010 $a9786613563330 010 $a3-642-11319-2 024 7 $a10.1007/978-3-642-11319-2 035 $a(CKB)2670000000003403 035 $a(SSID)ssj0000355650 035 $a(PQKBManifestationID)11249124 035 $a(PQKBTitleCode)TC0000355650 035 $a(PQKBWorkID)10340829 035 $a(PQKB)10411257 035 $a(DE-He213)978-3-642-11319-2 035 $a(MiAaPQ)EBC3064942 035 $a(PPN)149054866 035 $a(Association for Computing Machinery)10.5555/2127753 035 $a(EXLCZ)992670000000003403 100 $a20100301d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVerification, Model Checking, and Abstract Interpretation $e11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /$fedited by Gilles Barthe, Manuel Hermenegildo 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 397 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5944 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-11318-4 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5944 517 3 $aVMCAI'10 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aAlgorithms 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aAlgorithms. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 676 $a005.1 702 $aBarthe$b Gilles$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHermenegildo$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aVMCAI 2010 906 $aBOOK 912 $a996465628103316 996 $aVerification, Model Checking, and Abstract Interpretation$92593983 997 $aUNISA