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

Building the Global Fiber Optics Superhighway
Building the Global Fiber Optics Superhighway

Many wonderful stories have contributed to the growth and worldwide renown of the fiber optics industry. From its improbable roots in the 1960s and the important early laser work by Stewart Miller and colleagues at Bell Laboratories to seminal discoveries by Coming’s Don Keck, Robert Maurer, and Peter Schultz in 1970 demonstrating that...

Traffic Engineering and QoS Optimization of Integrated Voice & Data Networks
Traffic Engineering and QoS Optimization of Integrated Voice & Data Networks
This book describes, analyzes, and recommends traffic engineering (TE) and quality of service (QoS) optimization methods for integrated voice/data dynamic routing networks. These functions control a network's response to traffic demands and other stimuli, such as link failures or node failures. TE and QoS optimization is concerned with measurement,...
Leadership and Leading Teams in the Lifelong Learning Sector (Professional Development in the Lifelong Learning Sector Series)
Leadership and Leading Teams in the Lifelong Learning Sector (Professional Development in the Lifelong Learning Sector Series)
Imagine you have been given the time and leisure to spend a day wandering around a busy Further Education (FE) college in the Lifelong Learning sector. You decide to use this opportunity to see what issues are facing people in leadership roles at various levels within the organisation. So, as well as finding the time to complete...

Practical API Design: Confessions of a Java Framework Architect
Practical API Design: Confessions of a Java Framework Architect
You might think more than enough design books exist in the programming world already. In fact, there are so many that it makes sense to ask why you would read yet another. Is there really a need for yet another design book? In fact, there is a greater need than ever before, and Practical API Design: Confessions of a Java Framework...
St. James Encyclopedia of Popular Culture: 2
St. James Encyclopedia of Popular Culture: 2
Sometimes, when I’m wandering in an art museum looking at the relics of an ancient civilization, I find myself wondering how a future society would represent a defunct American culture. What objects would be chosen—or would survive—to be placed on display? Would I agree with a curator’s choices? Were I to choose...
Switching to VoIP
Switching to VoIP

More and more businesses today have their receive phone service
through Internet instead of local phone company lines. Many
businesses are also using their internal local and wide-area
network infrastructure to replace legacy enterprise telephone
networks. This migration to a single network carrying voice
...

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