Computer aided verification : (Record no. 635947)

MARC details
000 -LEADER
fixed length control field 07223cam a2200841 a 4500
001 - CONTROL NUMBER
control field ocm60785831
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703143329.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu---unuuu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 050701s2004 gw ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency N$T
Language of cataloging eng
Description conventions pn
Transcribing agency N$T
Modifying agency OCLCQ
-- YDXCP
-- OCLCQ
-- QCL
-- OCLCQ
-- YNG
-- CSU
-- OCLCQ
-- DKDLA
-- OCLCQ
-- OCLCO
-- OCLCQ
-- NLGGC
-- OCLCA
-- GW5XE
-- OCLCF
-- OCLCA
-- OCLCQ
-- OCLCO
-- UA@
-- OCL
-- OCLCO
-- OCLCQ
-- EBLCP
-- OCLCO
-- OCLCQ
-- OCLCO
-- ESU
-- UAB
-- OCLCQ
-- SHS
-- BUF
-- CEF
-- OCLCQ
-- TFW
-- WYU
-- LEAUB
-- OCLCQ
-- OL$
-- OCLCQ
-- AUD
-- OCLCQ
-- EUX
-- OCLCQ
-- OCLCO
-- OCLCQ
-- WSU
-- OCLCQ
-- OCLCO
-- OCLCL
-- QGK
-- OCLCL
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 971621454
Source DE-101
019 ## -
-- 66977019
-- 166470117
-- 326552734
-- 644339647
-- 756604416
-- 934980928
-- 1105589803
-- 1238335799
-- 1259056261
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540278133
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540278139
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540223428
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540223429
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/b98490
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000056726802
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 266586791
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14990840
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15296816
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)60785831
Canceled/invalid control number (OCoLC)66977019
-- (OCoLC)166470117
-- (OCoLC)326552734
-- (OCoLC)644339647
-- (OCoLC)756604416
-- (OCoLC)934980928
-- (OCoLC)1105589803
-- (OCoLC)1238335799
-- (OCoLC)1259056261
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.V47
Item number C38 2004eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 011000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.24
Edition number 22
-- https://id.oclc.org/worldcat/ddc/E3cgbbbwfHR8jqpgJJT8F3HbJ3
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.52
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 325f
Number source stub
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element CAV (Conference)
Number of part/section/meeting (16th :
Date of meeting 2004 :
Location of meeting Boston, MA)
9 (RLIN) 19865
245 10 - TITLE STATEMENT
Title Computer aided verification :
Remainder of title 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
Statement of responsibility, etc. Rajeev Alur, Doron A. Peled (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title CAV 2004
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2004.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xii, 536 pages) :
Other physical details figure, table
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 3114
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 ## - SUMMARY, ETC.
Summary, etc. 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.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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 Mec 5 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.
546 ## - LANGUAGE NOTE
Language note English.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 15105
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 17769
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic digital computers
General subdivision Evaluation
Form subdivision Congresses.
9 (RLIN) 14841
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Vérification
Form subdivision Congrès.
9 (RLIN) 18708
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Circuits intégrés
General subdivision Vérification
Form subdivision Congrès.
9 (RLIN) 26802
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Ordinateurs
General subdivision Évaluation
Form subdivision Congrès.
9 (RLIN) 14842
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Systems Architecture
-- General.
Source of heading or term bisacsh
9 (RLIN) 18220
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Source of heading or term fast
9 (RLIN) 1930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic digital computers
General subdivision Evaluation
Source of heading or term fast
9 (RLIN) 14843
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Verification
Source of heading or term fast
9 (RLIN) 17770
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Alur, Rajeev,
Dates associated with a name 1966-
-- https://id.oclc.org/worldcat/entity/E39PBJfX7Djgt3wcgvP9Hbbw4q
9 (RLIN) 17795
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Peled, Doron A.,
Dates associated with a name 1962-
-- https://id.oclc.org/worldcat/entity/E39PBJbCKd76vK9JBbkv3hrrMP
9 (RLIN) 17138
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading CAV (Conference) (16th : 2004 : Boston, MA).
Title Computer aided verification.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2004
International Standard Book Number 3540223428
Record control number (OCoLC)55963153
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3114.
International Standard Serial Number 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/b98490">https://link.springer.com/10.1007/b98490</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3088566
938 ## -
-- EBSCOhost
-- EBSC
-- 133909
938 ## -
-- YBP Library Services
-- YANK
-- 2362201
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha