Opening book details…
Can I read Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (lecture Notes In Computer Science) on EtoBox?
Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (lecture Notes In Computer Science) by Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.) is a nonfiction available to read on EtoBox.
What is Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (lecture Notes In Computer Science) about?
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.
Who reads Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (lecture Notes In Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2010
- Language
- EN
- ISBN
- 9781280389597
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
More by Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
Browse all works by Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (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)
- 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)
- Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers (Lecture Notes in Computer Science (6563)) — Martin Erwig (auth.), Brian Malloy, Steffen Staab, Mark van den Brand (2011)
- Selected Areas in Cryptography: 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers (Lecture Notes in Computer Science (6544)) — Christina Boura, Anne Canteaut (auth.), Alex Biryukov, Guang Gong, Douglas R. Stinson (2011)
