Computer software - Congresses. - Verification
Overview
| Works: | 136 works in 109 publications in 109 languages | |
|---|---|---|
Titles
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
(Electronic resources)
Numerical software with result verification = international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
by:
(Electronic resources)
Computer aided verification = 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
by:
(Electronic resources)
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(Language materials, printed)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(Language materials, printed)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(Language materials, printed)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(Language materials, printed)
Computer aided verification = 16th international conference, CAV 2004 /
by:
(Language materials, printed)
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
(Language materials, printed)
Numerical software with result verification = international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
by:
(Language materials, printed)
Computer aided verification = 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings /
by:
(Language materials, printed)
Model checking software = 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
by:
(Language materials, printed)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(Language materials, printed)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II /
by:
(Electronic resources)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(Electronic resources)
Numerical software verification = 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
(Electronic resources)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(Electronic resources)
Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(Electronic resources)
Tools and methods of program analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers /
by:
(Electronic resources)
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part II /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings /
by:
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part III /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
by:
(Electronic resources)
Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(Electronic resources)
Tests and proofs = 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers /
by:
(Electronic resources)
Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
(Electronic resources)
Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part II /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
by:
(Electronic resources)
Runtime verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(Electronic resources)
Tests and proofs = 15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part III /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2020 = 23rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings /
by:
(Electronic resources)
Tests and proofs = 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis = 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021 : revised selected papers /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems = 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers /
by:
(Electronic resources)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part IV /
by:
(Electronic resources)
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(Language materials, printed)
Model checking software = 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
by:
(Language materials, printed)
Computer aided verification = 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings /
by:
(Language materials, printed)
Theoretical and practical aspects of SPIN model checking = 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
by:
(Language materials, printed)
SPIN model checking and software verification = 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
by:
(Language materials, printed)
Model checking software = 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
(Electronic resources)
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2016 /
by:
(Electronic resources)
Runtime verification = 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part II /
by:
(Electronic resources)
Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part IV /
by:
(Electronic resources)
Runtime verification = 21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems = 15th International Conference, VECoS 2021, virtual event, November 22-23, 2021 : revised selected papers /
by:
(Electronic resources)
Computer aided verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.. Part II /
by:
(Electronic resources)
Computer aided verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.. Part I /
by:
(Electronic resources)
Model checking software = 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
(Electronic resources)
Runtime verification = 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = software engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part III /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = practice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part IV /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part I /
by:
(Electronic resources)
Software verification and formal methods for ML-enabled autonomous systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers /
by:
(Electronic resources)
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
(Electronic resources)
Computer aided verification = 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.. Part III /
by:
(Electronic resources)
Computer aided verification = 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems = 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 : proceedings /
by:
(Electronic resources)
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part III /
by:
(Electronic resources)
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Runtime verification = 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings /
by:
(Electronic resources)
Model checking software = 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = software engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part IV /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = rigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = application areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part V /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = specification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part III /
by:
(Electronic resources)
Software fault prevention, verification, and validation = first International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024 : proceedings /
by:
(Electronic resources)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part II /
by:
(Electronic resources)
Show more
Fewer
Subjects