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

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

Saved in:

Bibliographic Details
Imprint:	Berlin ; Heidelberg : Springer-Verlag, 1997.
Description:	1 online resource.
Language:	English
Series:	Lecture Notes in Computer Science ; 1254, 0302-9743 Lecture notes in computer science ; 1254,
Subject:	Computer science. Software engineering. Logic design. Artificial intelligence. Computer software -- Verification -- Congresses. Integrated circuits -- Verification -- Congresses. Artificial intelligence. Computer science. Computer software -- Verification. Integrated circuits -- Verification. Logic design. Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11076525

Hidden Bibliographic Details
Other authors / contributors:	Grumberg, Orna.
ISBN:	9783540691952 3540691952 3540631666 9783540631668
Summary:	This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.
Other form:	Print version: Computer aided verification

Similar Items

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 : 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 : 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 22-25, 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)

Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY /
Published: (2020)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II /
Published: (2019)

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

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)

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

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
Published: (2016)

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

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

Deductive Software Verification -- The KeY Book : From Theory to Practice /
Published: (2016)

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

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

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

Methods and procedures for the verification and validation of artificial neural networks /
Published: (2006)

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part II /
Published: (2020)

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

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 : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
Published: (2009)

Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
by: Grumberg, Orna
Published: (1997)

Software engineering : specification, implementation, verification /
by: Alagić, Suad, 1946-
Published: (2017)

Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. Part III /
Published: (2020)

Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings /
Published: (2020)

Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3-5, 1995 Proceedings /
Published: (1995)