MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06535cam a2200865 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn801954211 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703161723.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 |
120727s2012 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
C$Q |
| -- |
ZMC |
| -- |
COO |
| -- |
ZMC |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
E7B |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
IAD |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
NUI |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
VGM |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
NJR |
| -- |
OCLCO |
| -- |
BUF |
| -- |
CEF |
| -- |
U3W |
| -- |
WYU |
| -- |
YOU |
| -- |
TKN |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
AJS |
| -- |
UKAHL |
| -- |
LUN |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
1205122373 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642317590 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642317596 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642317583 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642317588 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642317583 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000050022187 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384331602 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14675312 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000073139488 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)801954211 |
| Canceled/invalid control number |
(OCoLC)1205122373 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| Item number |
.I58 2012 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/4 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International SPIN Workshop |
| Number of part/section/meeting |
(19th : |
| Date of meeting |
2012 : |
| Location of meeting |
Oxford, England) |
| 9 (RLIN) |
45929 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Model checking software : |
| Remainder of title |
19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / |
| Statement of responsibility, etc. |
Alastair Donaldson, David Parker (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
SPIN 2012 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 260 pages) : |
| Other physical details |
illustrations. |
| 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
7385 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials / |
| Statement of responsibility |
Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan and Margus Veanes -- |
| Title |
High-Coverage Symbolic Patch Testing / |
| Statement of responsibility |
Paul Dan Marinescu and Cristian Cadar -- |
| Title |
Towards Automatic Synthesis of Software Verification Tools / |
| Statement of responsibility |
Andrey Rybalchenko -- |
| Title |
Mining Models / |
| Statement of responsibility |
Andreas Zeller -- |
| Title |
Counterexample Explanation by Anomaly Detection / |
| Statement of responsibility |
Stefan Leue and Mitra Tabaei Befrouei -- |
| Title |
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue / |
| Statement of responsibility |
Sami Evangelista and Lars Michael Kristensen -- |
| Title |
A Compositional Minimization Approach for Large Asynchronous Design Verification / |
| Statement of responsibility |
Hao Zheng, Emmanuel Rodriguez, Yingying Zhang and Chris Myers -- |
| Title |
On Parallel Software Verification Using Boolean Equation Systems / |
| Statement of responsibility |
Alexander Ditter, Milan Češka and Gerald Lüttgen -- |
| Title |
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking / |
| Statement of responsibility |
Anton J. Wijs and Dragan Bošnački -- |
| Title |
Gossiping Girls Are All Alike / |
| Statement of responsibility |
Theo C. Ruys and Pim Kars -- |
| Title |
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid / |
| Statement of responsibility |
Shravan Garlapati and Sandeep K. Shukla -- |
| Title |
Parallelizing the Spin Model Checker / |
| Statement of responsibility |
Gerard J. Holzmann -- |
| Title |
Parallel Model Checking Using Abstraction / |
| Statement of responsibility |
Ethan Burns and Rong Zhou -- |
| Title |
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking / |
| Statement of responsibility |
Reng Zeng, Zhuo Sun, Su Liu and Xudong He -- |
| Title |
Parameterized Model Checking of Fine Grained Concurrency / |
| Statement of responsibility |
Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne and Sharad Malik -- |
| Title |
mctau: Bridging the Gap between Modest and UPPAAL / |
| Statement of responsibility |
Jonathan Bogdoll, Alexandre David, Arnd Hartmanns and Holger Hermanns -- |
| Title |
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation / |
| Statement of responsibility |
Heinz Riener and Görschwin Fey -- |
| Title |
Model Checking DSL-Generated C Source Code / |
| Statement of responsibility |
Martin Sulzmann and Axel Zechner -- |
| Title |
SMTInterpol: An Interpolating SMT Solver / |
| Statement of responsibility |
Jürgen Christ, Jochen Hoenicke and Alexander Nutz -- |
| Title |
S2N: Model Transformation from SPIN to NuSMV / |
| Miscellaneous information |
(Tool Paper) / |
| Statement of responsibility |
Yong Jiang and Zongyan Qiu. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed Aug. 27, 2012). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations. |
| 630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
SPIN (Computer file) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15103 |
| 630 07 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
SPIN (Computer file) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15104 |
| 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 |
Software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15264 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Testing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18837 |
| 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 |
Génie logiciel |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18168 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Testing |
| Source of heading or term |
fast |
| 9 (RLIN) |
4794 |
| 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 |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Software engineering. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logic design. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Programming Languages, Compilers, Interpreters. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logics and Meanings of Programs. |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 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 |
Donaldson, Alastair. |
| 9 (RLIN) |
45930 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Parker, David, |
| Dates associated with a name |
1941 October 18- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjGWWKPPG8J4XC9kpx67Vy |
| 9 (RLIN) |
45931 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Model checking software (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFvy7BM4jFxvmvyjgyTtjC |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642317583 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7385. |
| International Standard Serial Number |
1611-3349 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-31759-0">https://link.springer.com/10.1007/978-3-642-31759-0</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29112033 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3070493 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10653329 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9459474 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |