skip to content
Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings Preview this item
ClosePreview this item
Checking...

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Author: Warren A Hunt; Fabio Somenzi
Publisher: Berlin ; New York : Springer, ©2003.
Series: Lecture notes in computer science, 2725.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters;  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
CAV (Conference) (15th : 2003 : Boulder, Colo.).
Computer aided verification.
Berlin ; New York : Springer, ©2003
(OCoLC)52602472
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Warren A Hunt; Fabio Somenzi
ISBN: 9783540450696 3540450696
OCLC Number: 326599817
Description: 1 online resource (xii, 462 pages) : illustrations.
Contents: Extending Bounded Model Checking --
Interpolation and SAT-Based Model Checking --
Bounded Model Checking and Induction: From Refutation to Verification --
Symbolic Model Checking --
Reasoning with Temporal Logic on Truncated Paths --
Structural Symbolic CTL Model Checking of Asynchronous Systems --
A Work-Efficient Distributed Algorithm for Reachability Analysis --
Games, Trees, and Counters --
Modular Strategies for Infinite Games on Recursive Graphs --
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded --
Dense Counter Machines and Verification Problems --
Tool Presentations I --
TRIM: A Tool for Triggered Message Sequence Charts --
Model Checking Multi-Agent Programs with CASP --
Monitoring Temporal Rules Combined with Time Series --
FAST: Fast Acceleration of Symbolic Transition Systems --
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems --
Abstraction I --
Making Predicate Abstraction Efficient: --
A Symbolic Approach to Predicate Abstraction --
Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean Methods --
Dense Time --
Digitizing Interval Duration Logic --
Timed Control with Partial Observability --
Hybrid Acceleration Using Real Vector Automata --
Tool Presentations II --
Abstraction and BDDs Complement SAT-Based BMC in DiVer --
TLQSolver: A Temporal Logic Query Checker --
Evidence Explorer: A Tool for Exploring Model-Checking Proofs --
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols --
Infinite State Systems --
Iterating Transducers in the Large --
Algorithmic Improvements in Regular Model Checking --
Efficient Image Computation in Infinite State Model Checking --
Abstraction II --
Thread-Modular Abstraction Refinement --
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement --
Abstraction for Branching Time Properties --
Applications --
Certifying Optimality of State Estimation Programs --
Domain-Specific Optimization in Automata Learning --
Model Checking Conformance with Scenario-Based Specifications --
Theorem Proving --
Deductive Verification of Advanced Out-of-Order Microprocessors --
Theorem Proving Using Lazy Proof Explication --
Automata-Based Verification --
Enhanced Vacuity Detection in Linear Temporal Logic --
Bridging the Gap between Fair Simulation and Trace Inclusion --
An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic --
Invariants --
Strengthening Invariants by Symbolic Consistency Testing --
Linear Invariant Generation Using Non-linear Constraint Solving --
Explicit Model Checking --
To Store or Not to Store --
Calculating?-Confluence Compositionally.
Series Title: Lecture notes in computer science, 2725.
Other Titles: CAV 2003
Responsibility: Warren A. Hunt, Jr., Fabio Somenzi (eds.).

Abstract:

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/326599817> # Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "326599817" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2790514289#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://id.worldcat.org/fast/907149> ; # Electronic digital computers--Evaluation
    schema:about <http://id.worldcat.org/fast/975600> ; # Integrated circuits--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/electronic_digital_computers_evaluation> ; # Electronic digital computers--Evaluation
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/integrated_circuits_verification> ; # Integrated circuits--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://dewey.info/class/004.24/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/logic_design> ; # Logic Design
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/2790514289#Topic/special_purpose_and_application_based_systems> ; # Special Purpose and Application-Based Systems
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:alternateName "CAV 2003" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/68194274> ; # Fabio Somenzi
    schema:contributor <http://viaf.org/viaf/113771913> ; # Warren A. Hunt
    schema:copyrightYear "2003" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2790514289#Meeting/cav_conference_15th_2003_boulder_colo> ; # CAV (Conference) (15th : 2003 : Boulder, Colo.)
    schema:datePublished "2003" ;
    schema:description "Extending Bounded Model Checking -- Interpolation and SAT-Based Model Checking -- Bounded Model Checking and Induction: From Refutation to Verification -- Symbolic Model Checking -- Reasoning with Temporal Logic on Truncated Paths -- Structural Symbolic CTL Model Checking of Asynchronous Systems -- A Work-Efficient Distributed Algorithm for Reachability Analysis -- Games, Trees, and Counters -- Modular Strategies for Infinite Games on Recursive Graphs -- Fast Mu-Calculus Model Checking when Tree-Width Is Bounded -- Dense Counter Machines and Verification Problems -- Tool Presentations I -- TRIM: A Tool for Triggered Message Sequence Charts -- Model Checking Multi-Agent Programs with CASP -- Monitoring Temporal Rules Combined with Time Series -- FAST: Fast Acceleration of Symbolic Transition Systems -- Rabbit: A Tool for BDD-Based Verification of Real-Time Systems -- Abstraction I -- Making Predicate Abstraction Efficient: -- A Symbolic Approach to Predicate Abstraction -- Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean Methods -- Dense Time -- Digitizing Interval Duration Logic -- Timed Control with Partial Observability -- Hybrid Acceleration Using Real Vector Automata -- Tool Presentations II -- Abstraction and BDDs Complement SAT-Based BMC in DiVer -- TLQSolver: A Temporal Logic Query Checker -- Evidence Explorer: A Tool for Exploring Model-Checking Proofs -- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols -- Infinite State Systems -- Iterating Transducers in the Large -- Algorithmic Improvements in Regular Model Checking -- Efficient Image Computation in Infinite State Model Checking -- Abstraction II -- Thread-Modular Abstraction Refinement -- A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement -- Abstraction for Branching Time Properties -- Applications -- Certifying Optimality of State Estimation Programs -- Domain-Specific Optimization in Automata Learning -- Model Checking Conformance with Scenario-Based Specifications -- Theorem Proving -- Deductive Verification of Advanced Out-of-Order Microprocessors -- Theorem Proving Using Lazy Proof Explication -- Automata-Based Verification -- Enhanced Vacuity Detection in Linear Temporal Logic -- Bridging the Gap between Fair Simulation and Trace Inclusion -- An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Invariants -- Strengthening Invariants by Symbolic Consistency Testing -- Linear Invariant Generation Using Non-linear Constraint Solving -- Explicit Model Checking -- To Store or Not to Store -- Calculating?-Confluence Compositionally."@en ;
    schema:description "This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2790514289> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/52602472> ;
    schema:name "Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings"@en ;
    schema:productID "326599817" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/326599817#PublicationEvent/berlin_new_york_springer_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2790514289#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/10.1007/b11831> ;
    schema:url <http://dx.doi.org/10.1007/b11831> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2725> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/b11831> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/10929025> ;
    schema:workExample <http://dx.doi.org/10.1007/b11831> ;
    schema:workExample <http://worldcat.org/isbn/9783540450696> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/326599817> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Meeting/cav_conference_15th_2003_boulder_colo> # CAV (Conference) (15th : 2003 : Boulder, Colo.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2790514289#Place/boulder_colo> ; # Boulder, Colo.)
    schema:name "CAV (Conference) (15th : 2003 : Boulder, Colo.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Place/boulder_colo> # Boulder, Colo.)
    a schema:Place ;
    schema:name "Boulder, Colo.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Topic/electronic_digital_computers_evaluation> # Electronic digital computers--Evaluation
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102943> ;
    schema:name "Electronic digital computers--Evaluation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2790514289#Topic/special_purpose_and_application_based_systems> # Special Purpose and Application-Based Systems
    a schema:Intangible ;
    schema:name "Special Purpose and Application-Based Systems"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/907149> # Electronic digital computers--Evaluation
    a schema:Intangible ;
    schema:name "Electronic digital computers--Evaluation"@en ;
    .

<http://id.worldcat.org/fast/975600> # Integrated circuits--Verification
    a schema:Intangible ;
    schema:name "Integrated circuits--Verification"@en ;
    .

<http://viaf.org/viaf/113771913> # Warren A. Hunt
    a schema:Person ;
    schema:birthDate "1958" ;
    schema:familyName "Hunt" ;
    schema:givenName "Warren A." ;
    schema:name "Warren A. Hunt" ;
    .

<http://viaf.org/viaf/68194274> # Fabio Somenzi
    a schema:Person ;
    schema:familyName "Somenzi" ;
    schema:givenName "Fabio" ;
    schema:name "Fabio Somenzi" ;
    .

<http://worldcat.org/isbn/9783540450696>
    a schema:ProductModel ;
    schema:isbn "3540450696" ;
    schema:isbn "9783540450696" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/326599817> ; # Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/52602472>
    a schema:CreativeWork ;
    rdfs:label "Computer aided verification." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/326599817> ; # Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/326599817>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/326599817> ; # Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
    schema:dateModified "2018-05-20" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.