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.)

The Cosmic Gift
The Cosmic Gift
An Indian research submarine was exploring the ocean-bed off the coast ofParson's Pygmalion Point, the southern -most tip ofI ndia. Its young Captain, Uttarna, and his crew gazed ent ranced at the strange world under water , strangely lit here and there with many-shaped coral reefs , amidst which innumerable varieties ofcolo urful fish and...
Inverse Limits: From Continua to Chaos (Developments in Mathematics)
Inverse Limits: From Continua to Chaos (Developments in Mathematics)

Inverse limits provide a powerful tool for constructing complicated spaces from simple ones. They also turn the study of a dynamical system consisting of a space and a self-map into a study of a (likely more complicated) space and a self-homeomorphism. In four chapters along with an appendix containing background material the authors...

High Performance Switches and Routers
High Performance Switches and Routers

Learn to Design High Performance Switches and Routers for Today's Ever Growing Internet Traffic

As Internet traffic continues to grow, and demands for quality of service become more stringent, researchers and engineers can turn to High Performance Switches and Routers for tested and proven solutions. This...


Agile in a Flash: Speed-Learning Agile Software Development (Pragmatic Programmers)
Agile in a Flash: Speed-Learning Agile Software Development (Pragmatic Programmers)

This comprehensive set of cards is an indispensable resource for agile teams. The deck of Agile in a Flash cards teaches leadership, teamwork, clean programming, agile approaches to problem solving, and tips for coaching agile teams. Team members can use the cards as reference material, ice breakers for conversations,...

Inclusion, Equity and Access for Individuals with Disabilities: Insights from Educators across World
Inclusion, Equity and Access for Individuals with Disabilities: Insights from Educators across World
The book provides multiple perspectives and insights on the area of Inclusion, Equity and Access for people with disabilities and brings together various inclusive effective practices from 21 countries across the world most comprehensively in one book. The book documents perspectives from educational researchers and teacher educators...
Probability
Probability

This textbook is ideal for an undergraduate introduction to probability, with a calculus prerequisite. It is based on a course that the author has taught many times at Berkeley. The text's overall style is informal, but all results are stated precisely, and most are proved. Understanding is developed through intuitive explanations and...

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