TY  - BOOK
AU  - Emerson,E.Allen
AU  - Namjoshi,Kedar S.
ED  - VMCAI 2006
TI  - Verification, model checking, and abstract interpretation: 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings 
T2  - Lecture notes in computer science,
SN  - 9783540316220
AV  - QA76.76.V47 V53 2006
U1  - 005.14 22
PY  - 2006///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Computer programs
KW  - Verification
KW  - Congresses
KW  - Logiciels
KW  - Vérification
KW  - Congrès
KW  - COMPUTERS
KW  - Software Development & Engineering
KW  - Quality Assurance & Testing
KW  - bisacsh
KW  - Informatique
KW  - eclas
KW  - fast
KW  - Abstrakte Interpretation
KW  - gnd
KW  - Formale Methode
KW  - Model Checking
KW  - Programmanalyse
KW  - Programmverifikation
KW  - Abstract interpretation
KW  - VMCAI
KW  - Model checking
KW  - computerwetenschappen
KW  - computer sciences
KW  - programmeertalen
KW  - programming languages
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
KW  - Charleston (SC, 2006)
KW  - swd
KW  - Kongress
N1  - Includes bibliographical references and index; Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation Framework for Coverability Properties of WSTS -- Complexity Results on Branching-Time Pushdown Model Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems -- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel External Directed Model Checking with Linear I/O -- Piecewise FIFO Channels Are Analyzable -- Ranking Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the?-Calculus -- Semantic Hierarchy Refactoring by Abstract Interpretation -- Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation -- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains -- Synthesis of Reactive(1) Designs -- Systematic Construction of Abstractions for Model-Checking -- Totally Clairvoyant Scheduling with Relative Timing Constraints -- Verification of Well-Formed Communicating Recursive State Machines -- What's Decidable About Arrays?; Available to OhioLINK libraries
N2  - Annotation The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods
UR  - https://link.springer.com/10.1007/11609773
ER  -