| Description |
1 online resource (xi, 380 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 5403 |
|
LNCS sublibrary: SL 1 -- Theoretical computer science and general issuess |
|
Lecture notes in computer science ; 5403.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
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 |
| Summary |
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 |
| Analysis |
software engineering |
|
programmeertalen |
|
programming languages |
|
computerwetenschappen |
|
computer sciences |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| Subject |
Computer programs -- Verification -- Congresses
|
|
Software Validation
|
|
Computer programs -- Verification.
|
|
Informatique.
|
|
Computer programs -- Verification
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Jones, Neil D.
|
|
Müller-Olm, Markus.
|
| ISBN |
9783540939009 |
|
3540939008 |
|
9783540938996 |
|
3540938990 |
|
