Opening book details…
Can I read Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005 : Proceedings 12th International Spin Workshop Twelfth International Spin Workshop International Spin Workshop on EtoBox?
Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005 : Proceedings 12th International Spin Workshop Twelfth International Spin Workshop International Spin Workshop by David Wagner (auth.), Patrice Godefroid (eds.) is a nonfiction available to read on EtoBox.
What is Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005 : Proceedings 12th International Spin Workshop Twelfth International Spin Workshop International Spin Workshop about?
<p>This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.</p> <p>The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.</p>
Who reads Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005 : Proceedings 12th International Spin Workshop Twelfth International Spin Workshop International Spin Workshop?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- David Wagner (auth.), Patrice Godefroid (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2005
- Language
- EN
- ISBN
- 9783540318996
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Language Learning
More by David Wagner (auth.), Patrice Godefroid (eds.)
Browse all works by David Wagner (auth.), Patrice Godefroid (eds.)
Similar books
- Model checking software : 19th International SPIN Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings — Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (2012)
- Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science, 5156) — Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (2008)
- Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (lecture Notes In Computer Science) — Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (2010)
- SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885) — Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (2000)
- Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (lecture Notes In Computer Science) — María del Mar Gallardo, Pedro Merino (2018)
- Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science, 4905) — Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (2008)
