Opening book details…
Can I read Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings on EtoBox?
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings by Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.) is a nonfiction available to read on EtoBox.
What is Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings about?
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general. Erscheinungsdatum: 19.07.2013
Who reads Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2013
- Language
- EN
- ISBN
- 9783540733690
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)
Browse all works by Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (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 : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings — Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (2007)
- 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: 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)
- 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)
- Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings — Eric Goubault (auth.), Francesco Logozzo, Manuel Fähndrich (2013)