عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 E358 2013
QA76
.
76
.
V47
E358
2013
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642391761
(Number (ISBN
9783642391767
NATIONAL BIBLIOGRAPHY NUMBER
Number
b568059
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Model Checking Software :
General Material Designation
[Book]
Other Title Information
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
First Statement of Responsibility
edited by Ezio Bartocci, C.R. Ramakrishnan.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg : Imprint : Springer
Date of Publication, Distribution, etc.
2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(x, 377 pages 143 illustrations)
SERIES
Series Title
Lecture notes in computer science, 7976.
CONTENTS NOTE
Text of Note
Explicit-state model checking techniques --; Other related tools --; Techniques for the verification and formal testing of software systems in general.
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Book number
E358
2013
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Ezio Bartocci, C.R. Ramakrishnan.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
C R Ramakrishnan
Ezio Bartocci
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
