Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.).

Saved in:

Bibliographic Details
Published:	Berlin ; New York : Springer-Verlag, c1993.
Corporate Author:	CAV (Conference) Elounda, Greece)
Other Authors:	Courcoubetis, Costas
Series:	Lecture notes in computer science ; 697
Subjects:	Computer software > Verification > Congresses. Electronic digital computers > Evaluation > Congresses.
Format:	Conference Proceeding Book

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /

Similar Items

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
Published: (1993)

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /
Published: (1992)

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

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /
Published: (1994)

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /
Published: (1996)

Computer aided verification : 7th international conference, CAV '95, Liege, Belgium, July 3-5, 1995 : proceedings /
Published: (1994)

Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
Published: (2005)

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

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

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings /
Published: (1997)

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

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

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers /
Published: (2009)

Software verification and validation : an engineering and scientific approach /
by: Fisher, Marcus S.
Published: (2007)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
by: Godefroid, Patrice
Published: (1996)

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

Automatic verification of sequential infinite-state processes /
by: Burkart, Olaf
Published: (1998)

Verification, validation and testing in software engineering /
Published: (2007)

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

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Principles of model checking /
by: Baier, Christel
Published: (2008)

Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)

Verification, model checking, and abstract interpretation 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
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)

Computer performance evaluation : modelling techniques and tools : 9th international conference, St. Malo, France, June 3-6, 1997 : proceedings /
Published: (1997)

A Survey of verification techniques for parallel programs /
by: Barringer, Howard, 1951-
Published: (1985)

Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings /
Published: (1994)

Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance and Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 1995 : proceedings /
Published: (1995)

Computer performance : proceedings of the International Symposium on Computer Performance Modeling, Measurement, and Evaluation, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, August 16-18, 1977 /
Published: (1977)

Verification of object-oriented software the KeY approach /
Published: (2007)

Compiler specification and verification /
by: Polak, Wolfgang, 1950-
Published: (1981)

Hardware and software, verification and testing first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
Published: (2006)

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /
Published: (1984)

Performance '87 : proceedings of the 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement, and Evaluation, Brussels, Belgium, 7-9 December 1987 /
Published: (1988)

Performance '90 : proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement, and Evaluation, Edinburgh, Scotland, 12-14 September 1990 /
Published: (1990)

Software verification and validation : realistic project approaches /
by: Deutsch, Michael S.
Published: (1982)

Modelling techniques and tools for performance analysis : proceedings of the International Conference on Modelling Techniques and Tools for Performance Analysis, Paris, France, 16-18 May, 1984 /
Published: (1985)

Computer performance evaluation and benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings /
Published: (2009)

Formal methods for hardware verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)

Verification and validation for quality of UML 2.0 models
by: Unhelkar, Bhuvan
Published: (2005)