Computer programs - Congresses. - Verification
Overview
| Works: | 39 works in 23 publications in 23 languages | |
|---|---|---|
Titles
Hardware and Software: Verification and Testing :Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
by:
(Electronic resources)
Verification, Model Checking, and Abstract Interpretation :9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
(Electronic resources)
Hardware and Software, Verification and TestingFirst International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
by:
(Electronic resources)
Verification, Model Checking, and Abstract Interpretation6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
by:
(Electronic resources)
Verified software: theories, tools, experimentssecond international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
by:
(Electronic resources)
Hardware and software : verification and testing4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Runtime verification9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(Electronic resources)
Verification, model checking and abstract interpretationthird international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers /
by:
(Electronic resources)
Formal methods for industrial critical systems15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(Electronic resources)
Runtime verificationFirst International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
by:
(Electronic resources)
Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Language materials, printed)
Hardware and software: Verification and Testing10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
(Electronic resources)
Hardware and softwareverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Hardware and softwareverification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(Electronic resources)
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II /
by:
(Electronic resources)
Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
by:
(Electronic resources)
Software verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(Electronic resources)
Software verification13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part I /
by:
(Electronic resources)
Show more
Fewer
Subjects