Cover Image

Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions /

Bibliographic Details
Corporate Authors:	VSTTE (Conference) Zurich, Switzerland), SpringerLink (Online service)
Other Authors:	Meyer, Bertrand, 1950-, Woodcock, Jim
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2008]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 4171.
Subjects:	Compilers (Computer programs) > Congresses. Computer software > Quality control > Congresses. Computer software > Verification > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /
Published: (2010)

Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Published: (2010)

Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings /
Published: (2011)

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010, Revised selected papers /
Published: (2011)

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings /
Published: (2009)

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
Published: (2011)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
Published: (2007)

Runtime Verification.
Published: (2008)

Compiler construction : 17th international conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Published: (2008)

Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings /
Published: (2007)

Compiler construction : 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011, proceedings /
Published: (2011)

Compiler construction : 19th International Conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings /
Published: (2010)

Compiler construction : 18th International Conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings /
Published: (2009)

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
Published: (2008)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published: (2007)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
Published: (2007)

Tests and proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011. Proceedings /
Published: (2011)

Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
Published: (2009)

Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
Published: (2009)

Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised selected papers /
Published: (2011)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /
Published: (2006)

Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
Published: (2005)

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings /
Published: (2008)

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
Published: (2011)

Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /
Published: (2009)

Model checking and artificial intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised selected and invited papers /
Published: (2011)

Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
Published: (2007)

Theory and application of satisfiability testing - SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
Published: (2011)

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

Unifying the software process spectrum : International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 : revised selected papers /
Published: (2005)

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers /
Published: (2007)

Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings /
Published: (2006)

Trustworthly [as printed] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
Published: (2010)

Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers /
Published: (2008)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
Published: (2009)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /
Published: (2011)

Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Published: (2010)

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
Published: (2007)

Software process improvement : 14th European conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007 : proceedings /
Published: (2007)