The Resource Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.)
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.)
Resource Information
The item Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Extent
- 1 online resource (xi, 481 pages)
- Contents
-
- Invited Paper
- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
- Numerical Abstraction
- Scalable Analysis of Linear Systems Using Mathematical Programming
- The Arithmetic-Geometric Progression Abstract Domain
- An Overview of Semantics for the Validation of Numerical Programs
- Invited Talk
- The Verifying Compiler, a Grand Challenge for Computing Research
- Verification I
- Checking Herbrand Equalities and Beyond
- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
- Termination of Polynomial Programs
- Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement
- Invited Talk
- Abstraction for Liveness
- Heap and Shape Analysis
- Abstract Interpretation with Alien Expressions and Heap Structures
- Shape Analysis by Predicate Abstraction
- Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
- Purity and Side Effect Analysis for Java Programs
- Abstract Model Checking
- Automata as Abstractions
- Don't Know in the?-Calculus
- Model Checking of Systems Employing Commutative Functions
- Model Checking
- Weak Automata for the Linear Time?-Calculus
- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties
- Minimizing Counterexample with Unit Core Extraction and Incremental SAT
- I/O Efficient Directed Model Checking
- Applied Abstract Interpretation
- Verification of an Error Correcting Code by Abstract Interpretation
- Information Flow Analysis for Java Bytecode
- Cryptographic Protocol Analysis on Real C Code
- Bounded Model Checking
- Simple Is Better: Efficient Bounded Model Checking for Past LTL
- Optimizing Bounded Model Checking for Linear Hybrid Systems
- Verification II
- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives
- Generalized Typestate Checking for Data Structure Consistency
- On the Complexity of Error Explanation
- Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs
- Isbn
- 9783540242970
- Label
- Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
- Title
- Verification, model checking, and abstract interpretation
- Title remainder
- 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
- Statement of responsibility
- Radhia Cousot (ed.)
- Title variation
- VMCAI 2005
- Subject
-
- Computer programs -- Verification
- Computer programs -- Verification
- Computer programs -- Verification -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Informatique
- Model-checking (Informatique)
- Vérification de logiciels
- COMPUTERS -- Software Development & Engineering | Quality Assurance & Testing
- Language
- eng
- Cataloging source
- COO
- Dewey number
- 005.14
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.76.V47
- LC item number
- V53 2005
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2005
- http://bibfra.me/vocab/lite/meetingName
- VMCAI 2005
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
- Cousot, Radhia
- Series statement
- Lecture notes in computer science,
- Series volume
- 3385
- http://library.link/vocab/subjectName
-
- Computer programs
- COMPUTERS
- Informatique
- Computer programs
- Vérification de logiciels
- Model-checking (Informatique)
- Label
- Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using Mathematical Programming -- The Arithmetic-Geometric Progression Abstract Domain -- An Overview of Semantics for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing Research -- Verification I -- Checking Herbrand Equalities and Beyond -- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs -- Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement -- Invited Talk -- Abstraction for Liveness -- Heap and Shape Analysis -- Abstract Interpretation with Alien Expressions and Heap Structures -- Shape Analysis by Predicate Abstraction -- Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking -- Automata as Abstractions -- Don't Know in the?-Calculus -- Model Checking of Systems Employing Commutative Functions -- Model Checking -- Weak Automata for the Linear Time?-Calculus -- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties -- Minimizing Counterexample with Unit Core Extraction and Incremental SAT -- I/O Efficient Directed Model Checking -- Applied Abstract Interpretation -- Verification of an Error Correcting Code by Abstract Interpretation -- Information Flow Analysis for Java Bytecode -- Cryptographic Protocol Analysis on Real C Code -- Bounded Model Checking -- Simple Is Better: Efficient Bounded Model Checking for Past LTL -- Optimizing Bounded Model Checking for Linear Hybrid Systems -- Verification II -- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives -- Generalized Typestate Checking for Data Structure Consistency -- On the Complexity of Error Explanation -- Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs
- Control code
- 57720344
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 481 pages)
- Form of item
- online
- Isbn
- 9783540242970
- Lccn
- 2004117275
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/b105073
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-24297-0
- Specific material designation
- remote
- System control number
- (OCoLC)57720344
- Label
- Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using Mathematical Programming -- The Arithmetic-Geometric Progression Abstract Domain -- An Overview of Semantics for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing Research -- Verification I -- Checking Herbrand Equalities and Beyond -- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs -- Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement -- Invited Talk -- Abstraction for Liveness -- Heap and Shape Analysis -- Abstract Interpretation with Alien Expressions and Heap Structures -- Shape Analysis by Predicate Abstraction -- Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking -- Automata as Abstractions -- Don't Know in the?-Calculus -- Model Checking of Systems Employing Commutative Functions -- Model Checking -- Weak Automata for the Linear Time?-Calculus -- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties -- Minimizing Counterexample with Unit Core Extraction and Incremental SAT -- I/O Efficient Directed Model Checking -- Applied Abstract Interpretation -- Verification of an Error Correcting Code by Abstract Interpretation -- Information Flow Analysis for Java Bytecode -- Cryptographic Protocol Analysis on Real C Code -- Bounded Model Checking -- Simple Is Better: Efficient Bounded Model Checking for Past LTL -- Optimizing Bounded Model Checking for Linear Hybrid Systems -- Verification II -- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives -- Generalized Typestate Checking for Data Structure Consistency -- On the Complexity of Error Explanation -- Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs
- Control code
- 57720344
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 481 pages)
- Form of item
- online
- Isbn
- 9783540242970
- Lccn
- 2004117275
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/b105073
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-24297-0
- Specific material designation
- remote
- System control number
- (OCoLC)57720344
Subject
- Computer programs -- Verification
- Computer programs -- Verification
- Computer programs -- Verification -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Informatique
- Model-checking (Informatique)
- Vérification de logiciels
- COMPUTERS -- Software Development & Engineering | Quality Assurance & Testing
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Verification-model-checking-and-abstract/X4UONfkXZco/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Verification-model-checking-and-abstract/X4UONfkXZco/">Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Verification-model-checking-and-abstract/X4UONfkXZco/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Verification-model-checking-and-abstract/X4UONfkXZco/">Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings, Radhia Cousot (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>