Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	CAV (Conference) (9th : 1997 : Haifa, Israel)
Imprint:	Berlin ; New York : Springer, c1997.
Description:	xi, 486 p. : ill. ; 24 cm.
Language:	French
Series:	Lecture notes in computer science 1254
Subject:	Computer software -- Verification -- Congresses. Integrated circuits -- Verification -- Congresses. Electronic digital computers -- Evaluation -- Congresses. Computer software -- Verification. Electronic digital computers -- Evaluation. Integrated circuits -- Verification. Conference papers and proceedings.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/2734801

Hidden Bibliographic Details
Varying Form of Title:	CAV'97
Other authors / contributors:	Grumberg, Orna.
ISBN:	3540631666
Notes:	Includes bibliographical references and index.

Similar Items

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
Published: (2004)

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /
Published: (2003)

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

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
Published: (2004)

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

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
Published: (2001)

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
Published: (2001)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)

Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings /
Published: (1999)

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

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings /
Published: (2000)

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

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings /
Published: (2000)

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

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
Published: (1998)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings /
Published: (1998)

Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 2225, 1997 Proceedings /
Published: (1997)

Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
Published: (2011)

Formal system verification : state-of the-art and future trends /
Published: (2018)

Open verification methodology cookbook /
by: Glasser, Mark
Published: (2009)

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings /
Published: (1995)

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 : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
Published: (2011)

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

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings /
Published: (2009)

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

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

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

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

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

Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings /
Published: (1999)

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

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
Published: (2010)

Test pattern generation using boolean proof engines /
Published: (2009)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Models in hardware testing : lecture notes of the forum in honor of Christian Landrault /
Published: (2010)

Debugging at the electronic system level /
by: Rogin, Frank
Published: (2010)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I /
Published: (2022)