Opening book details…
Can I read Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings on EtoBox?
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings by Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.) is a nonfiction available to read on EtoBox.
What is Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings about?
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007. The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.
Who reads Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2007
- Language
- EN
- ISBN
- 9783540733706
- Category
- nonfiction
- Subjects
- Computer Science, Education, Engineering
Other editions & translations
More by Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.)
Browse all works by Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (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: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005 : Proceedings 12th International Spin Workshop Twelfth International Spin Workshop International Spin Workshop — David Wagner (auth.), Patrice Godefroid (2005)
- Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings — Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (2001)
- Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings — Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (2004)
- 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)
- 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)
