Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
SPIN Model Checking and Software Verification - 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Paperback, 2000 ed.)
Loot Price: R1,698
Discovery Miles 16 980
|
|
SPIN Model Checking and Software Verification - 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Paperback, 2000 ed.)
Series: Lecture Notes in Computer Science, 1885
Expected to ship within 10 - 15 working days
|
The SPIN workshop is a forum for researchers interested in the
subject of automata-based, explicit-state model checking
technologies for the analysis and veri?cation of asynchronous
concurrent and distributed systems. The SPIN - del checker (http:
//netlib.bell-labs.com/netlib/spin/whatispin.html), developed by
Gerard Holzmann, is one of the best known systems of this kind, and
has attracted a large user community. This can likely be attributed
to its e?cient state exploration algorithms. The fact that SPIN's
modeling language, Promela, resembles a programming language has
probably also contributed to its success. Traditionally, the SPIN
workshops present papers on extensions and uses of SPIN. As an
experiment, this year's workshop was broadened to have a slightly
wider focus than previous workshops in that papers on software
veri?cation were encouraged. Consequently, a small collection of
papers describe attempts to analyze and verify programs written in
conventional programming languages. Solutions include translations
from source code to Promela, as well as specially designed model
checkers that accept source code. We believe that this is an -
teresting research direction for the formal methods community, and
that it will result in a new set of challenges and solutions. Of
course, abstraction becomes the key solution to deal with very
large state spaces. However, we also see - tential for integrating
model checking with techniques such as static program analysis and
testing. Papers on these issues have therefore been included in the
proceedings.
General
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.