Opening book details…
Can I read Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science) on EtoBox?
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science) by Stefan Edelkamp, Shahid Jabbar (auth.), Antti Valmari (eds.) is a nonfiction available to read on EtoBox.
What is Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science) about?
The name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering. To promote interaction even further, many SPIN workshops have been held in conjunction with other meetings. The 13th International SPIN Workshop on Model Checking of Software was held in Vienna, Austria, co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS) 2006. The earlier SPIN workshops were held in Montreal, Canada (1995); Rutgers University, USA (1996); Twente University, The Netherlands (1997
Who reads Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, 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
- Stefan Edelkamp, Shahid Jabbar (auth.), Antti Valmari (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2006
- Language
- EN
- ISBN
- 9783540331032
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Stefan Edelkamp, Shahid Jabbar (auth.), Antti Valmari (eds.)
Browse all works by Stefan Edelkamp, Shahid Jabbar (auth.), Antti Valmari (eds.)
Similar books
- 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: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings (lecture Notes In Computer Science) — Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (2002)
- 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 : 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)
- 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)
