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

MaRDI QIDQ420532zbMATH OpenFDO

Authors

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)

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

Cited in

(4)

• 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.
• scientific article; zbMATH DE number 5719320 (Why is no real title available?)
• Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997

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)