Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Science and General Issues, 4349, Band 4349) - Taschenbuch

EAN (ISBN-13): 9783540697350
ISBN (ISBN-10): 3540697357
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Cook, Byron, Springer
394 Seiten
Gewicht: 0,629 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-04T14:42:35+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-04-01T11:53:54+02:00 (Berlin)
ISBN/EAN: 9783540697350

ISBN - alternative Schreibweisen:
3-540-69735-7, 978-3-540-69735-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: byron, cook, andreas
Titel des Buches: 2007, france, 8th, verification model checking abstract interpretation, model interpretations, just trying nice, zero international, computer model, proceedings international conference

---

Daten vom Verlag:

Autor/in: Byron Cook; Andreas Podelski
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Verlag: Springer; Springer Berlin
395 Seiten
Erscheinungsjahr: 2007-01-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 395 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Constraint; Java; abstarct interpretation; abstract domains; abstraction; algorithms; data structure; data structures; debugging techniques; deductive methods; formal verification; optimization; program invariants; programming; programming language; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA

Invited Talk.- DIVINE: DIscovering Variables IN Executables.- Session 1.- Verifying Compensating Transactions.- Model Checking Nonblocking MPI Programs.- Model Checking Via ?CFA.- Using First-Order Theorem Provers in the Jahob Data Structure Verification System.- Invited Tutorial.- Interpolants and Symbolic Model Checking.- Session 2.- Shape Analysis of Single-Parent Heaps.- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.- On Flat Programs with Lists.- Invited Talk.- Automata-Theoretic Model Checking Revisited.- Session 3.- Language-Based Abstraction Refinement for Hybrid System Verification.- More Precise Partition Abstractions.- The Spotlight Principle.- Lattice Automata.- Invited Tutorial.- Learning Algorithms and Formal Verification (Invited Tutorial).- Session 4.- Constructing Specialized Shape Analyses for Uniform Change.- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.- Automated Verification of Shape and Size Properties Via Separation Logic.- Invited Talk.- Towards Shape Analysis for Device Drivers.- Session 5.- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.- Symmetry and Completeness in the Analysis of Parameterized Systems.- Better Under-Approximation of Programs by Hiding Variables.- Invited Tutorial.- The Constraint Database Approach to Software Verification.- Session 6.- Constraint Solving for Interpolation.- Assertion Checking Unified.- Invariant Synthesis for Combined Theories.