Computer software - Congresses. - Verification
Overview
| Works: | 231 works in 186 publications in 186 languages | |
|---|---|---|
Titles
Trustworthy Global ComputingThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
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)
Model Checking Software (vol. # 3925)13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
by:
(Electronic resources)
Computer Aided Verification (vol. # 4144)18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(Electronic resources)
Computer Aided Verification17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(Electronic resources)
Model Checking Software12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(Electronic resources)
Trustworthy Global Computing :International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(Electronic resources)
Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(Electronic resources)
Model Checking Software15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(Electronic resources)
Model checking and artificial intelligence5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(Electronic resources)
Model checking software10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
by:
(Electronic resources)
Model checking software11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
(Electronic resources)
Numerical software with result verificationinternational Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
by:
(Electronic resources)
Model checking software16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings /
by:
(Electronic resources)
Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; 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)
Computer aided verification9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
by:
(Electronic resources)
Computer aided verification10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
by:
(Electronic resources)
Computer aided verification11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings /
by:
(Electronic resources)
Theoretical and practical aspects of SPIN model checking5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
by:
(Electronic resources)
Computer aided verification12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings /
by:
(Electronic resources)
SPIN model checking and software verification7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /
by:
(Electronic resources)
Computer aided verification13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
(Electronic resources)
Model checking software8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
by:
(Electronic resources)
Computer aided verification14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
by:
(Electronic resources)
Model checking software9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /
by:
(Electronic resources)
Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Computer aided verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(Electronic resources)
Verified softwaretheories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(Electronic resources)
Trustworthly global computing5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers /
by:
(Electronic resources)
Model checking software17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
(Electronic resources)
Formal verification of object-oriented softwareinternational conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
by:
(Electronic resources)
Hardware and software: verification and testing5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
(Electronic resources)
Hardware and software: verification and testing6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers /
by:
(Electronic resources)
NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Electronic resources)
Model checking and artificial intelligence6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers /
by:
(Electronic resources)
Foundations of computer softwaremodeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers /
by:
(Electronic resources)
Theory and application of satisfiability testingSAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
by:
(Electronic resources)
Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Electronic resources)
Computer aided verification23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(Electronic resources)
Model checking software18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Electronic resources)
System specification and design languagesselected contributions from FDL 2010 /
by:
(Electronic resources)
Verified softwaretheories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(Electronic resources)
Fundamental approaches to software engineering15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Electronic resources)
NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Electronic resources)
Runtime verificationsecond International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Trustworthy global computing6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers /
by:
(Electronic resources)
Computer Aided Verification24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201215th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
(Electronic resources)
Model checking software19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(Electronic resources)
Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(Electronic resources)
E-voting and identitythird international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011 : revised selected papers /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Technologies for mastering change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Applications and case studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part II /
by:
(Electronic resources)
New trends in software methodologies, tools and techniquesproceedings of the tenth SoMeT_11 /
by:
(Electronic resources)
Formal methods and software engineering14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
by:
(Electronic resources)
Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Electronic resources)
Runtime verification8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Electronic resources)
Tools for practical software verificationLASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(Electronic resources)
Verified softwaretheories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(Electronic resources)
Trustworthy global computing8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
(Electronic resources)
Computer aided verification26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
by:
(Electronic resources)
Tests and proofs8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201417th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Language materials, printed)
Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validationtechnologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part I /
by:
(Language materials, printed)
Verified softwaretheories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
(Electronic resources)
Trustworthy global computing9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014 : revised selected papers /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2013 /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
(Electronic resources)
Tests and proofs9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Electronic resources)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(Electronic resources)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(Electronic resources)
E-Voting and identity5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings /
by:
(Electronic resources)
Model checking software22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Electronic resources)
Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201518th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2014 /
by:
(Electronic resources)
Trustworthy global computing10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
by:
(Electronic resources)
Verified softwaretheories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /
by:
(Electronic resources)
Model checking software23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
(Electronic resources)
Tests and proofs10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(Electronic resources)
Computer aided verification28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
by:
(Electronic resources)
Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationfoundational 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 validationdiscussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II /
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)
Verified Software. Theories, Tools, and Experiments8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(Electronic resources)
Numerical software verification9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
(Electronic resources)
Tests and proofs11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(Electronic resources)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part II /
by:
(Electronic resources)
Numerical software verification10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
(Electronic resources)
Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : 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)
Verified softwaretheories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2016 /
by:
(Electronic resources)
Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers /
by:
(Electronic resources)
Model checking software25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201821st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings /
by:
(Electronic resources)
Computer aided verification30th 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 verification30th 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)
Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV /
by:
(Electronic resources)
Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(Electronic resources)
Verified softwaretheories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
by:
(Electronic resources)
Tools and algorithms for the construction and analysis of systems25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part III /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
by:
(Electronic resources)
Numerical software verification12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
by:
(Electronic resources)
Model checking software26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(Electronic resources)
Tests and proofs13th 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)
Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings /
by:
(Electronic resources)
Verified softwaretheories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2018 /
by:
(Electronic resources)
Tests and proofs14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
(Electronic resources)
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part II /
by:
(Electronic resources)
Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
(Electronic resources)
Runtime verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationapplications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part III /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationengineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationverification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part I /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers /
by:
(Electronic resources)
Tests and proofs15th 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 202124th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings /
by:
(Electronic resources)
Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part II /
by:
(Electronic resources)
Model checking software27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationtools 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)
Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(Electronic resources)
Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation10th 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 interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems15th International Conference, VECoS 2021, virtual event, November 22-23, 2021 : revised selected papers /
by:
(Electronic resources)
Tests and proofs16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /
by:
(Electronic resources)
Computer aided verification34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.Part II /
by:
(Electronic resources)
Computer aided verification34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.Part I /
by:
(Electronic resources)
Model checking software28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
(Electronic resources)
Runtime verification22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationsoftware 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 validationadaptation 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 validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationverification 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 systems5th 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 softwaretheories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers /
by:
(Electronic resources)
Model checking software29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
(Electronic resources)
Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part III /
by:
(Electronic resources)
Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part II /
by:
(Electronic resources)
Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021 : revised selected papers /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 : proceedings /
by:
(Electronic resources)
Computer aided verification36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.Part II /
by:
(Electronic resources)
Computer aided verification36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.Part III /
by:
(Electronic resources)
Computer aided verification36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.Part I /
by:
(Electronic resources)
Verified software. theories, tools and experiments15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
by:
(Electronic resources)
Verified softwaretheories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationREoCAS 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 verification24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings /
by:
(Electronic resources)
Model checking software30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationsoftware 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 validationrigorous 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 validationapplication 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 validationspecification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part III /
by:
(Electronic resources)
Software fault prevention, verification, and validationfirst International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024 : proceedings /
by:
(Electronic resources)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part II /
by:
(Electronic resources)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part III /
by:
(Electronic resources)
Show more
Fewer
Subjects