Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings

DOI10.1007/978-3-030-67067-2zbMATH Open1014.00022OpenAlexW3209334694MaRDI QIDQ1811538

Author name not available (Why is that?)

Publication date: 17 June 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2575.htm

zbMATH Keywords

Model checkingVerificationAbstract interpretationNew York, NY, USAVMCAI 2003

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 (5)

Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings ⋮ Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings ⋮ Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22--24, 2012. Proceedings ⋮ Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14--16, 2007. Proceedings ⋮ Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers

Recommendations

• Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19--21, 2014. Proceedings 👍 👎
• Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20--22, 2013. Proceedings 👍 👎
• Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings 👍 👎
• Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22--24, 2012. Proceedings 👍 👎
• Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings 👍 👎
• Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers 👍 👎
• Special issue: Analysis and verification. Extended versions of selected contributions presented at the 4th international conference on verification, model checking and abstract interpretation (VMCAI 2003), New York, NY, USA, January 9--11, 2003. 👍 👎
• Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16--21, 2020. Proceedings 👍 👎
• Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings 👍 👎
• Verification, model checking, and abstract interpretation. 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8--10, 2006. Proceedings 👍 👎

This page was built for publication: Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings

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