04212nam 2200553Ia 450 991048459010332120200520144314.03-540-93900-810.1007/978-3-540-93900-9(CKB)1000000000545922(SSID)ssj0000320627(PQKBManifestationID)11937793(PQKBTitleCode)TC0000320627(PQKBWorkID)10249731(PQKB)10561021(DE-He213)978-3-540-93900-9(MiAaPQ)EBC3063865(PPN)132869004(EXLCZ)99100000000054592220081208d2009 uy 0engurnn|008mamaatxtccrVerification, model checking, and abstract interpretation 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009 ; proceedings /Neil D. Jones, Markus Muller-Olm (eds.)1st ed. 2009.New York, NY ;Berlin ;Heidelberg Springerc20091 online resource (XI, 381 p.) Lecture notes in computer science ;v. 5403Bibliographic Level Mode of Issuance: Monograph3-540-93899-0 Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.Lecture notes in computer science ;5403.Mathematical optimizationProgramming (Mathematics)Mathematical optimization.Programming (Mathematics)005.11Jones Neil D59760Muller-Olm Markus508822MiAaPQMiAaPQMiAaPQBOOK9910484590103321Verification, model checking, and abstract interpretation4193177UNINA01515nam2 22003373i 450 SBL005314120251003044348.0IT786045 20091204d1976 ||||0itac50 baitaitz01i xxxe z01nˆ2: ‰Immanenza e trascendentalità dell'ordinePaolo PasqualucciMilanoA. Giuffrè1976VI, 598 p.24 cm.Pubblicazioni dell'Istituto di filosofia del diritto dell'Università di Roma16001CFI01692312001 Pubblicazioni dell'Istituto di filosofia del diritto dell'Università di Roma1671201Università degli studi di Roma La Sapienza : Istituto di filosofia del dirittoCFIV098209001SBL00531402001 Rousseau e KantPaolo Pasqualucci2RousseauFIRNAPC249842IKantFIRMILC215172I194FILOSOFIA OCCIDENTALE MODERNA. FRANCIA23Pasqualucci, PaoloCFIV096402070249528Pasqualucci, M.CFIV096412Pasqualucci, PaoloITIT-00000020091204IT-BN0095 SBL0053141Biblioteca Centralizzata di Ateneo 01D (AR) 5 757 01AR 0070057575 VMA A4 v. 2Y 2023062220230622Fondo ChiomentiEx Libris 01Immanenza e trascendentalita dell'ordine928573UNISANNIO