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

MAKE: Electronics: Learning Through Discovery
MAKE: Electronics: Learning Through Discovery
Want to learn the fundamentals of electronics in a fun, hands-on way? With Make: Electronics, you'll start working on real projects as soon as you crack open the book. Explore all of the key components and essential principles through a series of fascinating experiments. You'll build the circuits first, then learn the...
The Belbin Guide to Succeeding at Work
The Belbin Guide to Succeeding at Work

Have you ever been overtaken at work by someone with fewer qualifications? Have you ever wondered how some people move effortlessly up the career ladder, while others stall at each rung?

Drawing on 27 years' experience since the publication of Meredith Belbin's bestselling book, Management Teams - Why They...

Life Matters : Creating a Dynamic Balance of Work, Family, Time & Money
Life Matters : Creating a Dynamic Balance of Work, Family, Time & Money

In their groundbreaking book Life Matters, Roger and Rebecca Merrill affirm that the key is proactively creating a dynamic, synergistic life balance between work, family, time, and money. Many believe that you can either have a balanced life at home or you can be highly productive at work, but you can’t do both. The Merrills...


Business Intelligence in the Digital Economy: Opportunities, Limitations and Risks
Business Intelligence in the Digital Economy: Opportunities, Limitations and Risks
Business Intelligence in the Digital Economy: Opportunities, Limitations and Risks describes what Business Intelligence (BI) is, how it is being conducted and managed and its major opportunities, limitations, issues and risks. This book takes an in-depth look at the scope of global technological change and BI. During this transition to BI,...
Sams Teach Yourself iOS 5 Application Development in 24 Hours (3rd Edition) (Sams Teach Yourself -- Hours)
Sams Teach Yourself iOS 5 Application Development in 24 Hours (3rd Edition) (Sams Teach Yourself -- Hours)

In less than half a decade, the iOS platform has changed the way that we, the public, think about our mobile computing devices. Only a few years ago, we were thrilled by phones with postage-stamp-sized screens, tinny audio, built-in tip calculators, and text-based web browsing. Times have indeed...

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp

Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in the context of building major AI systems. By reconstructing authentic, complex AI programs using state-of-the-art Common Lisp, the book teaches students and professionals how to build and debug robust practical programs, while demonstrating...

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