Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114) - Softcover
Synopsis
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre?ectstheincreasingsynergybetweenresearch on veri?cation and testing, and emerging applications of formal veri?cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci?cation and veri?cation of concurrent software organized by Shaz Qadeer.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.
"About this title" may belong to another edition of this title.
Search results for Computer Aided Verification: 16th International Conference,...
Stock Image
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science (3114))
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. some shelfwear/edgewear but still NICE! - may have remainder mark or previous owner's name Standard-sized. Seller Inventory # 3540223428-01
Stock Image
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-L-001-01198
Buy Used
£ 77.89
£ 10.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540223429_new
Buy New
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Computer Aided Verification
Published by
Springer Berlin Heidelberg Jun 2004, 2004
ISBN 10: 3540223428
ISBN 13: 9783540223429
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- cation, CAV 2004,held in Boston,Massachusetts,USA, July13 17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre ectstheincreasingsynergybetweenresearch on veri cation and testing, and emerging applications of formal veri cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci cation and veri cation of concurrent software organized by Shaz Qadeer. 552 pp. Englisch. Seller Inventory # 9783540223429
Seller Image
Computer Aided Verification
Published by
Springer Berlin Heidelberg, 2004
ISBN 10: 3540223428
ISBN 13: 9783540223429
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4885509
Buy New
£ 82.20
£ 42.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Computer Aided Verification | 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Computer Aided Verification | 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings | Rajeev Alur (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540223429 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102456926
Seller Image
Computer Aided Verification
Published by
Springer, Springer Jun 2004, 2004
ISBN 10: 3540223428
ISBN 13: 9783540223429
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Rob Tristan Gerth: 1956-2003.- Static Program Analysis via 3-Valued Logic.- Deductive Verification of Pipelined Machines Using First-Order Quantification.- A Formal Reduction for Lock-Free Parallel Algorithms.- An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking.- Termination of Linear Programs.- Symbolic Model Checking of Non-regular Properties.- Proving More Properties with Bounded Model Checking.- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.- Using Interface Refinement to Integrate Formal Verification into the Design Cycle.- Indexed Predicate Discovery for Unbounded System Verification.- Range Allocation for Separation Logic.- An Experimental Evaluation of Ground Decision Procedures.- DPLL(T): Fast Decision Procedures.- Verifying -Regular Properties of Markov Chains.- Statistical Model Checking of Black-Box Probabilistic Systems.- Compositional Specification and Model Checking in GSTE.- GSTE Is Partitioned Model Checking.- Stuck-Free Conformance.- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors.- Functional Dependency for Verification Reduction.- Verification via Structure Simulation.- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.- Abstraction-Based Satisfiability Solving of Presburger Arithmetic.- Widening Arithmetic Automata.- Why Model Checking Can Improve WCET Analysis.- Regular Model Checking for LTL(MSO).- Image Computation in Infinite State Model Checking.- Abstract Regular Model Checking.- Global Model-Checking of Infinite-State Systems.- QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.- Verification of an Advanced mips-Type Out-of-Order Execution Algorithm.- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.- Efficient Modeling of Embedded Memories in Bounded Model Checking.- Understanding Counterexamples with explain.- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.- JNuke: Efficient Dynamic Analysis for Java.- The HiVy Tool Set.- ObsSlice: A Timed Automata Slicer Based on Observers.- The UCLID Decision Procedure.- MCK: Model Checking the Logic of Knowledge.- Zing: A Model Checker for Concurrent Software.- The Mec5 Model-Checker.- PlayGame: A Platform for Diagnostic Games.- SAL 2.- Formal Analysis of Java Programs in JavaFAN.- A Toolset for Modelling and Verification of GALS Systems.- WSAT: A Tool for Formal Analysis of Web Services.- CVC Lite: A New Implementation of the Cooperating Validity Checker.- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.- Mechanical Mathematical Methods for Microprocessor Verification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 552 pp. Englisch. Seller Inventory # 9783540223429
Seller Image
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- cation, CAV 2004,held in Boston,Massachusetts,USA, July13 17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre ectstheincreasingsynergybetweenresearch on veri cation and testing, and emerging applications of formal veri cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci cation and veri cation of concurrent software organized by Shaz Qadeer. Seller Inventory # 9783540223429
Stock Image
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science (3114))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA77335402234286
Buy Used
£ 148
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available