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 QIDQ420532

Author name not available (Why is that?)

Publication date: 22 May 2012

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

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)

Related Items (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 ⋮ 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. ⋮ Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings

Recommendations

• 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. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings 👍 👎
• Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings 👍 👎
• Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part I 👍 👎
• Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part II 👍 👎
• Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings. 👍 👎
• Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997 👍 👎
• 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 👍 👎

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)