Opening book details…
Can I read Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures on EtoBox?
Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures by Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.) is a nonfiction available to read on EtoBox.
What is Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures about?
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs. Erscheinungsdatum: 30.11.2012
Who reads Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2012
- Language
- EN
- ISBN
- 9783642357466
- Category
- nonfiction
- Subjects
- Computer Science, Management, Engineering
More by Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)
Browse all works by Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)
Similar books
- Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science (7007)) — Mark Harman, Phil McMinn (auth.), Bertrand Meyer, Martin Nordio (2012)
- Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures — Michael Jackson (auth.), Egon Börger, Antonio Cisternino (2008)
- Testing techniques in software engineering : second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures — Patrícia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (2010)
- Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures — Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (2006)
- Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers — Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (2012)
- Hardware and software : verification and testing, 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers — Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (2012)