Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

SPIN Model Checking and Software Verification

SPIN Model Checking and Software Verification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540410300
Condition
New
Product Description

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPINs modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this years workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri?cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Metastable Glassy States Under External Perturbations

$109.99

Lithium Ion Glassy Electrolytes

$109.99

DCE - Das OSF Distributed Computing Environment

$54.99

Berichte zur Resistenzmonitoringstudie 2009

$39.99

Ideas and European Education Policy, 1973-2020

$119.99

Formation of the Heart and its Regulation

$84.99

Sustainability and Optimality of Public Debt

$109.99

The EBMT Handbook

$59.99

Algen und Problematica aus dem Perm Sd-Anatoliens und Irans

$54.99

Barnes & Noble Fate Be Changed: A Twisted Tale by Farrah Rochon

$18.99

Das subjektive Rechtfertigungselement

$159.99

The Juxtaglomerular Apparatus

$39.99

Reproductive Surgery in Assisted Conception

$84.99

Herz- und Gefoperationen

$59.99

The Magic School Bus in the Time of the Dinosaurs

$6.74

Imperial Sunset

$54.99

Financial Intermediation and Deregulation

$54.99

Allgemeine Elektrotechnik, Nachrichtentechnik, Impulstechnik fr UPN-Rechner

$84.99

Biology and Biotechnology of Quinoa

$199.99

Boys' Bodies

$69.99

Teacher Learning and Power in the Knowledge Society

$49.99

Biological Approaches in Dye-Containing Wastewater

$139.99

Bildung neu denken! Das juristische Konzept

$29.99

Gleichstromtrassen und ihre Auswirkungen

$39.99

The Social Construction of the Person

$39.99

Touring Consumption

$54.99

Pharmakokinetik

$59.99

Grundlagen der Geldtheorie

$44.99

Strahlenklima der Erde

$44.99

Understanding Sleep and Dreaming

$139.99

Hydergine

$109.99

Jahrbuch der Preuischen Forst- und Jagdgesetzgebung und Verwaltung

$59.99

Logic, Mathematics, Philosophy, Vintage Enthusiasms

$169.99

Sabkha Ecosystems

$169.99

Methods of Neurochemistry

$54.99

Professionskulturen Charakteristika unterschiedlicher professioneller Praxen

$34.99

Key Concepts in the Study of Antisemitism

$29.99

kologischer Leitfaden fr Kreditinstitute

$69.99

Die langfristige Geburtenentwicklung in Deutschland

$59.99

Contemporary European Perspectives on the Ethics of End of Life Care

$159.99