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 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6538
Schlagworte:	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift > 2011 > Austin Tex.
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Veröffentlicht: (2011)

Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings
Veröffentlicht: (2006)

Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings
Veröffentlicht: (2012)

Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings
Veröffentlicht: (2012)

Verification, model checking, and abstract interpretation 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023 : proceedings
Veröffentlicht: (2023)

Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings
Veröffentlicht: (2014)

Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
Veröffentlicht: (2007)

Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
Veröffentlicht: (2007)

Verification, model checking, and abstract interpretation 16th international conference, VMCAI 2015, Mumbai, India, January 12 - 14, 2015; proceedings
Veröffentlicht: (2015)

Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings
Veröffentlicht: (2005)

Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Veröffentlicht: (2010)

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
von: Barthe, Gilles
Veröffentlicht: (2010)

Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings
Veröffentlicht: (2005)

Verification, model checking, and abstract interpretation 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, proceedings
Veröffentlicht: (2022)

Verification, model checking, and abstract interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings
Veröffentlicht: (2021)

Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers
Veröffentlicht: (2002)

Model checking
von: Clarke, Edmund M. 1945-2020, et al.
Veröffentlicht: (1999)

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings
Veröffentlicht: (2011)

Principles of model checking
von: Baier, Christel, et al.
Veröffentlicht: (2008)

Model checking software 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005 ; proceedings
Veröffentlicht: (2005)

Model checking
von: Clarke, Edmund M. 1945-2020
Veröffentlicht: (2018)

Witness-based validation of verification results with applications to software-model checking
von: Dangl, Matthias 1989-
Veröffentlicht: (2022)

Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011 ; Durham, UK, October 26 - 28, 2011 ; proceedings
Veröffentlicht: (2011)

Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011 ; Durham, UK, October 26 - 28, 2011 ; proceedings
Veröffentlicht: (2011)

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings
Veröffentlicht: (2009)

FM 2006: Formal methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 ; proceedings
Veröffentlicht: (2006)

Model checking software 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 ; proceedings
Veröffentlicht: (2008)

Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings
Veröffentlicht: (2011)

Static analysis 9th international symposium, SAS 2002, Madrid, Spain, September 17 - 20, 2002 ; proceedings
Veröffentlicht: (2002)

Analysis and verification of multiple agent languages 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 ; selected papers
Veröffentlicht: (1997)

Programming languages and systems 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings
Veröffentlicht: (2021)

Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings
Veröffentlicht: (2013)

Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers
von: Counsell, Steve
Veröffentlicht: (2014)

Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings
Veröffentlicht: (2013)

Programming languages and systems 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings
Veröffentlicht: (2017)

Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings
Veröffentlicht: (2013)

Programming languages and systems 17th Asian symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings
Veröffentlicht: (2019)

Model checking software 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 ; proceedings
Veröffentlicht: (2010)

Model checking software 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 ; proceedings
Veröffentlicht: (2010)

Hardware and software: verification and testing 7th International Haifa Verification Conference, HCV 2011, Haifa, Israel, December 6 - 8, 2011 ; revised selected papers
Veröffentlicht: (2012)