Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009

zbMATH Open1250.68018MaRDI QIDQ420532FDOQ420532

Authors:

Publication date: 22 May 2012

Published in: Formal Methods in System Design (Search for Journal in Brave)

Recommendations

• Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings
• Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997
• Special issue: Computer aided verification (CAV'10). Selected papers based on the presentations at the 22nd international conference, Edinburgh, UK, July 15--19, 2010.
• Special issue: 20th international conference on computer aided verification (CAV'08), Princeton, NJ, USA, July 7--14, 2008. Extended versions of selected papers.
• Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings
• Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18--22, 2001. Proceedings
• Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings
• Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part I
• Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
• Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part II

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Title not available (Why is that?)
• Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997
• Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings
• Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006.

This page was built for publication: Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q420532)