Opening book details…
Can I read Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science, 4595) on EtoBox?
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science, 4595) by Dragan Bosnacki (editor), Stefan Edelkamp (editor) is a nonfiction available to read on EtoBox.
What is Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science, 4595) about?
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
Who reads Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science, 4595)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dragan Bosnacki (editor), Stefan Edelkamp (editor)
- Publisher
- Springer-Verlag New York, LLC
- Published
- 2007
- Language
- EN
- ISBN
- 9783540733706
- Category
- nonfiction
- Subjects
- Engineering, Computer Science, Programming
Other editions & translations
More by Dragan Bosnacki (editor), Stefan Edelkamp (editor)
Browse all works by Dragan Bosnacki (editor), Stefan Edelkamp (editor)
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: 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 : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings — Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (2011)
- 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 : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings — Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (2013)
- 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)