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

FranklinCovey Style Guide: For Business and Technical Communication (5th Edition)
FranklinCovey Style Guide: For Business and Technical Communication (5th Edition)

FranklinCovey Style Guide: For Business and Technical Communication can help any writer produce documents that achieve outstanding results. Created by FranklinCovey, the world-renowned leader in helping organizations enhance individual effectiveness, this edition fully reflects today’s online media and global business challenges....

Foundations of Computer Science: C Edition (Principles of Computer Science Series)
Foundations of Computer Science: C Edition (Principles of Computer Science Series)
Aho and Ullman have created a C version of their groundbreaking text. As in that text, this book combines the theoretical foundations of computing with essential discrete mathematics. It follows the same organizations as its predecessor, with all examples and exercises in C.

This book was motivated by the desire we and others have had to
...
The Joy of SOX
The Joy of SOX
"We choose to do [these] things, not because they are easy, but because they are hard, because that goal will serve to organize and measure the best of our energies and skills."
—President John F. Kennedy, 1962

President Kennedy was speaking of going to the moon—a goal only slightly more ambitious, in the view...


Creating Android Applications: Develop and Design
Creating Android Applications: Develop and Design
If you’ve got a burning idea for an application that you’re dying to share, or if you recognize the power and possibilities of the Android platform, you’ve come to the right place. This is a short book on an immense topic.

I don’t mean to alarm anyone right off the bat here, but let me be
...
Drug Stability for Pharmaceutical Scientists
Drug Stability for Pharmaceutical Scientists

Drug Stability for Pharmaceutical Scientists is a clear and easy-to-follow guide on drug degradation in pharmaceutical formulation. This book features valuable content on both aqueous and solid drug solutions, the stability of proteins and peptides, acid-base catalyzed and solvent catalyzed reactions, how drug formulation can...

Run Your Own Web Server Using Linux & Apache
Run Your Own Web Server Using Linux & Apache

More organizations install Linux into their server rooms every day. The reasons for this vary, but those who make the switch to Linux often claim that its reliability, cost, choice, scalability, and the freedom it offers from vendor lock-in, are some of the reasons why they decided to switch. But, whatever your reasons for...

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