The item you selected has ended, but we found something similar.

Picture 1 of 1

Series in Discrete Mathematics and Theoretical Computer Science Ser.: The SPIN Verification System (1997, Hardcover)

Be the first towrite a review.

ZUBER (236860)
98.2% positive feedback

Price:

$25.49

Free shipping

Estimated delivery Mon, Apr 29 - Fri, May 3

Returns:

30 days returns. Seller pays for return shipping.

Condition:

Like New

THE SPIN VERIFICATION SYSTEM: DIMACS WORKSHOP, AUGUST 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) By Workshop On The Spin Verification System (1996 New N. J ) Brunswick, Jean-charles Gregoire, Gerard J. Holzmann, Doron Peled - Hardcover **Mint Condition**.

About this product

Product Information

What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code. The verifier can check for basic correctness properties, such as absence of deadlock and race conditions, logical completeness, or unwarranted assumptions about the relative speeds of correctness properties expressed in the syntax of Linear-time Temporal Logic (LTL). The tool translates LTL formulae automatically into automata representations, which can be used in an efficient on-the-fly verifications procedure.This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. The work covers theoretical and foundational studies of formal verification, empirical studies of the effectiveness of different types of algorithms, significant practical applications of the Spin verifier, and discussions of extensions and revisions of the basic code.

Product Identifiers

Publisher
American Mathematical Society
ISBN-10
0821806807
ISBN-13
9780821806807
eBay Product ID (ePID)
799291

Product Key Features

Author
Not Available
Publication Name
Spin Verification System
Format
Hardcover
Language
English
Series
Series in Discrete Mathematics and Theoretical Computer Science Ser.
Publication Year
1997
Type
Textbook
Number of Pages
203 Pages

Dimensions

Item Weight
22 Oz

Additional Product Features

Series Volume Number
32
Lc Classification Number
Qa76.76.V47w677 1996
Table of Content
J.-Ch. Gregoire, State space compression with graph encoded sets; G. J. Holzmann and O. Kupferman, Not checking for closure under stuttering; G. J. Holzmann, D. Peled, and M. Yannakakis, On nested depth first search; H. E. Jensen, K. G. Larsen, and A. Skou, Modelling and analysis of a collision avoidance protocol using Spin and Uppaal; P. Kars, The application of Promela and Spin in the BOS project; S. Leue and P. B. Ladkin, Implementing and verifying MSC specifications using Promela/XSpin; S. Loffler and A. Serhrouchni, Creating implementations from Promela models; P. Merino and J.-M. Troya, Modelling and verification of the MCS layer with Spin; E. Najm and F. Olsen, Protocol verification with reactive Promela/Rspin; V. Natarajan and G. J. Holzmann, Outline for an operational semantics of Promela; S. K. Shukla, D. J. Rosenkrantz, and S. S. Ravi, A simulation and validation tool for self-stabilizing protocols; J. Tuya, J. R. de Diego, C. de la Riva, and J. A. Corrales, Dynamic analysis of SA/RT models using Spin and modular verification; W. Visser and H. Barringer, Memory efficient state storage in Spin.
Copyright Date
1997
Target Audience
Scholarly & Professional
Topic
Software Development & Engineering / Quality Assurance & Testing
Lccn
96-054839
Dewey Decimal
005.2/76
Dewey Edition
21
Illustrated
Yes
Genre
Computers

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
5.0 out of 5 stars based on 6 product ratings
$12.19 New
---- Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$33.00 New
$32.00 Used
Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$34.89 New
$34.00 Used
PMBOK® Guide Ser.: Guide to the Project Management Body of Knowledge (PMBOK Guide) and the Standard for Project Management by Project Management Institute (2021, Trade Paperback)
4.9 out of 5 stars based on 7 product ratings
$17.42 New
$13.00 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$18.95 New
$17.66 Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.0 out of 5 stars based on 4 product ratings
$19.00 New
$5.27 Used
National Electrical Code 2023 by (NFPA) National Fire Protection Association (2022, Trade Paperback)
5.0 out of 5 stars based on 2 product ratings
$25.00 New
---- Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR w/ PAGE TABLE
$25.00
Trending at $39.99
PMBOK A Guide to the Project Management Body of Knowledge 7th Ed NEW READ No Cov
$17.42
Trending at $33.15
usa stock Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck(2020)
$19.90
Trending at $20.80
NEW NFPA 70® NEC Handbook with Index Tabs : 2023 Edition by NFPA USA
$59.50
Trending at $67.45
Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New
$15.00
Trending at $18.95
Diagnostic & Statistical Manual of Mental Disorders: DSM-5-TR(Hardcover) Fast...
$41.45
Trending at $43.95

Shop by category

Picture 1 of 1

Series in Discrete Mathematics and Theoretical Computer Science Ser.: The SPIN Verification System (1997, Hardcover)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

PMBOK® Guide Ser.: Guide to the Project Management Body of Knowledge (PMBOK Guide) and the Standard for Project Management by Project Management Institute (2021, Trade Paperback)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

National Electrical Code 2023 by (NFPA) National Fire Protection Association (2022, Trade Paperback)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR w/ PAGE TABLE

PMBOK A Guide to the Project Management Body of Knowledge 7th Ed NEW READ No Cov

usa stock Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck(2020)

NEW NFPA 70® NEC Handbook with Index Tabs : 2023 Edition by NFPA USA

Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New

Diagnostic & Statistical Manual of Mental Disorders: DSM-5-TR(Hardcover) Fast...

You may also like

Mathematics Science & Medicine Hardcover Antiquarian & Collectible Books

Computer Science Hardcover Textbooks

Mathematics Hardcover Textbooks

Mathematics Textbook Hardcover Textbooks

Mathematics Study Hardcovers Prep

Mathematics Hardcover Illustrated Nonfiction Books