Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands

Buy

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for verifiCation and on High-performance computational systems Biology.

The SPIN workshop is a forum for practitioners and researchers interested in state-space analysis of software-intensive systems. This is applicable in particular to concurrent and asynchronous systems, including protocols. The name of the workshop reflects the SPIN model checking tool by Gerard J. Holzmann, which won the ACM System Software Award 2001, and is probably the most widely used industrial-strength model checker around.

The focus of the workshop is on theoretical advances and extensions, algorithmic improvements, and empirical evaluation studies of (mainly) state-based model checking techniques, as implemented in the SPIN model checker and other tools. The workshop encourages interaction and exchange of ideas with all related areas in software engineering. To this end, we co-located SPIN 2010 with the graph transformation, and high-performance analysis communities.

(HTML tags aren't allowed.)

Reason 3 for Windows and Macintosh : Visual QuickStart Guide
Reason 3 for Windows and Macintosh : Visual QuickStart Guide
Combining pristine sound quality with a comfortably retro-styled virtual rack (including a polyphonic synthesizer, mixing console, sampler, and drum machine), Reason has won legions of fans since its introduction. Now, everyone is singing its praises -- from bands like Nine Inch Nails and Prodigy to video producers. Here to show you why is the...
Ullmann's Fine Chemicals, 3 Volume Set
Ullmann's Fine Chemicals, 3 Volume Set

A compilation of 76 articles from the ULLMANN's Encyclopedia of Industrial Chemistry, this three-volume handbook contains a wealth of information on the production and industrial use of more than 2,000 of the most important fine chemicals, from "Alcohols" to "Urea Derivatives".

Chemical and...

The Facebook Guide for People Over 50
The Facebook Guide for People Over 50

The Facebook guide for people over 50

People over 50 are the fastest-growing segment of the Facebook population, and they have some unique interests and concerns. This one-of-a-kind guide addresses issues of specific interest to older generations, helping them create a profile, connect with old friends and relatives,...


Systems Analysis and Design (Shelly Cashman)
Systems Analysis and Design (Shelly Cashman)
The Shelly Cashman Series® offers the finest textbooks in computer education. We are proud that our previous editions of Systems Analysis and Design have been so well received by instructors and students. Systems Analysis and Design, Ninth Edition continues with the innovation, quality, and reliability you have come to expect...
Oracle Database 11g SQL
Oracle Database 11g SQL
Today’s database management systems are accessed using a standard language known as Structured Query Language, or SQL. Among other things, SQL allows you to retrieve, add, update, and delete information in a database. In this book, you’ll learn how to master SQL, and you’ll find a wealth of practical examples. You can also get all...
Quartz Job Scheduling Framework: Building Open Source Enterprise Applications
Quartz Job Scheduling Framework: Building Open Source Enterprise Applications

Integrate Powerful Scheduling Capabilities into Any Java Application or Environment

 

If your Java applications depend on tasks that must be performed at specific times or if your systems have recurring maintenance jobs that could be automated,...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy