Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Model Checking Software - 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Paperback, 2009 ed.)
Loot Price: R1,561
Discovery Miles 15 610
|
|
Model Checking Software - 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Paperback, 2009 ed.)
Series: Theoretical Computer Science and General Issues, 5578
Expected to ship within 10 - 15 working days
|
This volume contains the proceedings of the 16th International SPIN
Workshop on Model Checking of Software (SPIN 2009), that was held
at the Grenoble World Trade Center, in Grenoble, France, June
26-28, 2009. The workshop was co-located with the 21st
International Conference on Computer-Aided Veri?- tion (CAV 2009).
The SPIN workshopis a forum for practitioners and
researchersinterested in
themodelchecking-basedanalysisofsoftwaresystems.Thefocusoftheworkshop
is on theoretical advances and empirical evaluations related to
state-space and path exploration techniques, as implemented in the
SPIN model checker and other software veri?cation tools. The
workshop aims to encourage interactions and exchanges of ideas with
all related areasin software engineering. SPIN 2009 was the 16th
event in the workshop series, which started in 1995. This year,
wereceived41 submissions (34technical papersand 7 toolpapers) out
of which 18 papers were accepted (15 technical papers and 3 tool
papers). Each submission was reviewed by three Program Committee
members. In addition to the refereed papers, the workshop featured
four invited talks given by Patrice Godefroid, from Microsoft
Research, USA, on "Software Model
CheckingImprovingSecurityofaBillionComputers,"MartaKwiatkowska,
from Oxford University, UK, "On Quantitative Software Veri?cation,"
Joseph Sifakis (recipient of the Turing Award 2007), from VERIMAG,
France, on "The Quest for Correctness - Beyond a posteriori
Veri?cation," and Willem Visser, from the University of
Stellenbosch, South Africa, on "Who Really Cares if the Program
Crashes?" We would like to thank the authors of submitted papers,
the invited spe- ers, the Program Committee members, the external
reviewers, and the Steering
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Theoretical Computer Science and General Issues, 5578 |
Release date: |
June 2009 |
First published: |
2009 |
Editors: |
Corina S. Pasareanu
|
Dimensions: |
235 x 155 x 18mm (L x W x T) |
Format: |
Paperback
|
Pages: |
297 |
Edition: |
2009 ed. |
ISBN-13: |
978-3-642-02651-5 |
Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
LSN: |
3-642-02651-6 |
Barcode: |
9783642026515 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|