The Resource Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.)
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.)
Resource Information
The item Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.) 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 1 library branch.
Resource Information
The item Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.) 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 1 library branch.
- Summary
- This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction
- Language
- eng
- Extent
- 1 online resource (xiii, 626 pages)
- Contents
-
- Invited Talks
- Software Analysis and Model Checking
- The Quest for Efficient Boolean Satisfiability Solvers
- Invited Tutorials
- On Abstraction in Software Verification
- The Symbolic Approach to Hybrid Systems
- Infinite Games and Verification
- Symbolic Model Checking
- Symbolic Localization Reduction with Reconstruction Layering and Backtracking
- Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
- Abstraction/Refinement and Model Checking
- Liveness with (0,1,?)- Counter Abstraction
- Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking
- Automatic Abstraction Using Generalized Model Checking
- Compositional/Structural Verification
- Property Checking via Structural Analysis
- Conformance Checking for Models of Asynchronous Message Passing Software
- A Modular Checker for Multithreaded Programs
- Timing Analysis
- Automatic Derivation of Timing Constraints by Failure Analysis
- Deciding Separation Formulas with SAT
- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
- SAT Based Methods
- Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
- Applying SAT Methods in Unbounded Symbolic Model Checking
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
- Semi-formal Bounded Model Checking
- Symbolic Model Checking
- Algorithmic Verification of Invalidation-Based Protocols
- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving
- Automated Unbounded Verification of Security Protocols
- Tool Presentations
- Exploiting Behavioral Hierarchy for Efficient Model Checking
- IF-2.0: A Validation Environment for Component-Based Real-Time Systems
- The AVISS Security Protocol Analysis Tool
- SPeeDI
- A Verification Tool for Polygonal Hybrid Systems
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking
- The d/dt Tool for Verification of Hybrid Systems
- Infinite Model Checking
- Model Checking Linear Properties of Prefix-Recognizable Systems
- Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
- On Discrete Modeling and Model Checking for Nonlinear Analog Systems
- Compositional/Structural Verification
- Synchronous and Bidirectional Component Interfaces
- Interface Compatibility Checking for Software Modules
- Practical Methods for Proving Program Termination
- Extended Model Checking
- Evidence-Based Model Checking
- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
- Vacuum Cleaning CTL Formulae
- Tool Presentations
- CVC: A Cooperating Validity Checker --?Chek: A Multi-valued Model-Checker
- PathFinder: A Tool for Design Exploration
- Abstracting C with abC
- AMC: An Adaptive Model Checker
- Code Verification
- Temporal-Safety Proofs for Systems Code
- Regular Model Checking and Acceleration
- Extrapolating Tree Transformations
- Regular Tree Model Checking
- Compressing Transitions for Model Checking
- Model Reduction
- Canonical Prefixes of Petri Net Unfoldings
- State Space Reduction by Proving Confluence
- Fair Simulation Minimization
- Isbn
- 9783540456575
- Label
- Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
- Title
- Computer aided verification
- Title remainder
- 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
- Statement of responsibility
- Ed Brinksma, Kim Guldstrand Larsen (eds.)
- Title variation
- CAV 2002
- Subject
-
- Computer software -- Verification
- Computer software -- Verification -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Computer software -- Verification
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction
- Cataloging source
- SCPER
- Dewey number
- 004.24
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.76.V47
- LC item number
- C38 2002
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2002
- http://bibfra.me/vocab/lite/meetingName
- CAV (Conference)
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1957-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Brinksma, Ed
- Larsen, K. G.
- Series statement
- Lecture notes in computer science
- Series volume
- 2404
- http://library.link/vocab/subjectName
-
- Computer software
- Integrated circuits
- Computer software
- Integrated circuits
- Label
- Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.)
- 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 Talks -- Software Analysis and Model Checking -- The Quest for Efficient Boolean Satisfiability Solvers -- Invited Tutorials -- On Abstraction in Software Verification -- The Symbolic Approach to Hybrid Systems -- Infinite Games and Verification -- Symbolic Model Checking -- Symbolic Localization Reduction with Reconstruction Layering and Backtracking -- Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions -- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking -- Abstraction/Refinement and Model Checking -- Liveness with (0,1,?)- Counter Abstraction -- Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking -- Automatic Abstraction Using Generalized Model Checking -- Compositional/Structural Verification -- Property Checking via Structural Analysis -- Conformance Checking for Models of Asynchronous Message Passing Software -- A Modular Checker for Multithreaded Programs -- Timing Analysis -- Automatic Derivation of Timing Constraints by Failure Analysis -- Deciding Separation Formulas with SAT -- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling -- SAT Based Methods -- Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT -- Applying SAT Methods in Unbounded Symbolic Model Checking -- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques -- Semi-formal Bounded Model Checking -- Symbolic Model Checking -- Algorithmic Verification of Invalidation-Based Protocols -- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving -- Automated Unbounded Verification of Security Protocols -- Tool Presentations -- Exploiting Behavioral Hierarchy for Efficient Model Checking -- IF-2.0: A Validation Environment for Component-Based Real-Time Systems -- The AVISS Security Protocol Analysis Tool -- SPeeDI -- A Verification Tool for Polygonal Hybrid Systems -- NuSMV 2: An OpenSource Tool for Symbolic Model Checking -- The d/dt Tool for Verification of Hybrid Systems -- Infinite Model Checking -- Model Checking Linear Properties of Prefix-Recognizable Systems -- Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking -- On Discrete Modeling and Model Checking for Nonlinear Analog Systems -- Compositional/Structural Verification -- Synchronous and Bidirectional Component Interfaces -- Interface Compatibility Checking for Software Modules -- Practical Methods for Proving Program Termination -- Extended Model Checking -- Evidence-Based Model Checking -- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification -- Vacuum Cleaning CTL Formulae -- Tool Presentations -- CVC: A Cooperating Validity Checker --?Chek: A Multi-valued Model-Checker -- PathFinder: A Tool for Design Exploration -- Abstracting C with abC -- AMC: An Adaptive Model Checker -- Code Verification -- Temporal-Safety Proofs for Systems Code -- Regular Model Checking and Acceleration -- Extrapolating Tree Transformations -- Regular Tree Model Checking -- Compressing Transitions for Model Checking -- Model Reduction -- Canonical Prefixes of Petri Net Unfoldings -- State Space Reduction by Proving Confluence -- Fair Simulation Minimization
- Control code
- 326683943
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 626 pages)
- Form of item
- online
- Isbn
- 9783540456575
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-45657-0
- Other physical details
- illustrations.
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)326683943
- Label
- Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.)
- 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 Talks -- Software Analysis and Model Checking -- The Quest for Efficient Boolean Satisfiability Solvers -- Invited Tutorials -- On Abstraction in Software Verification -- The Symbolic Approach to Hybrid Systems -- Infinite Games and Verification -- Symbolic Model Checking -- Symbolic Localization Reduction with Reconstruction Layering and Backtracking -- Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions -- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking -- Abstraction/Refinement and Model Checking -- Liveness with (0,1,?)- Counter Abstraction -- Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking -- Automatic Abstraction Using Generalized Model Checking -- Compositional/Structural Verification -- Property Checking via Structural Analysis -- Conformance Checking for Models of Asynchronous Message Passing Software -- A Modular Checker for Multithreaded Programs -- Timing Analysis -- Automatic Derivation of Timing Constraints by Failure Analysis -- Deciding Separation Formulas with SAT -- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling -- SAT Based Methods -- Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT -- Applying SAT Methods in Unbounded Symbolic Model Checking -- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques -- Semi-formal Bounded Model Checking -- Symbolic Model Checking -- Algorithmic Verification of Invalidation-Based Protocols -- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving -- Automated Unbounded Verification of Security Protocols -- Tool Presentations -- Exploiting Behavioral Hierarchy for Efficient Model Checking -- IF-2.0: A Validation Environment for Component-Based Real-Time Systems -- The AVISS Security Protocol Analysis Tool -- SPeeDI -- A Verification Tool for Polygonal Hybrid Systems -- NuSMV 2: An OpenSource Tool for Symbolic Model Checking -- The d/dt Tool for Verification of Hybrid Systems -- Infinite Model Checking -- Model Checking Linear Properties of Prefix-Recognizable Systems -- Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking -- On Discrete Modeling and Model Checking for Nonlinear Analog Systems -- Compositional/Structural Verification -- Synchronous and Bidirectional Component Interfaces -- Interface Compatibility Checking for Software Modules -- Practical Methods for Proving Program Termination -- Extended Model Checking -- Evidence-Based Model Checking -- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification -- Vacuum Cleaning CTL Formulae -- Tool Presentations -- CVC: A Cooperating Validity Checker --?Chek: A Multi-valued Model-Checker -- PathFinder: A Tool for Design Exploration -- Abstracting C with abC -- AMC: An Adaptive Model Checker -- Code Verification -- Temporal-Safety Proofs for Systems Code -- Regular Model Checking and Acceleration -- Extrapolating Tree Transformations -- Regular Tree Model Checking -- Compressing Transitions for Model Checking -- Model Reduction -- Canonical Prefixes of Petri Net Unfoldings -- State Space Reduction by Proving Confluence -- Fair Simulation Minimization
- Control code
- 326683943
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 626 pages)
- Form of item
- online
- Isbn
- 9783540456575
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-45657-0
- Other physical details
- illustrations.
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)326683943
Subject
- Computer software -- Verification
- Computer software -- Verification -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Computer software -- Verification
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/Computer-aided-verification--14th-International/5D8Sw6wl3qU/" 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/Computer-aided-verification--14th-International/5D8Sw6wl3qU/">Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.)</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 Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.)
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/Computer-aided-verification--14th-International/5D8Sw6wl3qU/" 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/Computer-aided-verification--14th-International/5D8Sw6wl3qU/">Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.)</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>