Computer software - Congresses. - Verification

Computer aided verification by: (書目-電子資源)

Model checking software10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings / by: (書目-電子資源)

Computer aided verification16th international conference, CAV 2004 / by: (書目-電子資源)

Model checking software11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / by: (書目-電子資源)

Numerical software with result verificationinternational Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers / by: (書目-電子資源)

Model checking software16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings / by: (書目-電子資源)

Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Computer aided verification9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings / by: (書目-電子資源)

Computer aided verification10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / by: (書目-電子資源)

Computer aided verification11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Computer aided verification12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings / by: (書目-電子資源)

SPIN model checking and software verification7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / by: (書目-電子資源)

Computer aided verification13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / by: (書目-電子資源)

Model checking software8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / by: (書目-電子資源)

Computer aided verification14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / by: (書目-電子資源)

Model checking software9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / by: (書目-電子資源)

Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

Computer aided verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / by: (書目-電子資源)

Verified softwaretheories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings / by: (書目-電子資源)

Trustworthly global computing5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers / by: (書目-電子資源)

Model checking software17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings / by: (書目-電子資源)

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: (書目-電子資源)

Hardware and software: verification and testing5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / by: (書目-電子資源)

Hardware and software: verification and testing6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / by: (書目-電子資源)

NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Model checking and artificial intelligence6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers / by: (書目-電子資源)

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: (書目-電子資源)

Theory and application of satisfiability testingSAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (書目-電子資源)

Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-電子資源)

Computer aided verification23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (書目-電子資源)

Model checking software18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (書目-電子資源)

System specification and design languagesselected contributions from FDL 2010 / by: (書目-電子資源)

Verified softwaretheories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-電子資源)

Runtime verificationsecond International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-電子資源)

Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Trustworthy global computing6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers / by: (書目-電子資源)

Computer Aided Verification24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201215th International Conference, Trento, Italy, June 17-20, 2012 : proceedings / by: (書目-電子資源)

Model checking software19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: (書目-電子資源)

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (書目-電子資源)

E-voting and identitythird international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

New trends in software methodologies, tools and techniquesproceedings of the tenth SoMeT_11 / by: (書目-電子資源)

Software and systems safetyspecification and verification / by: (書目-電子資源)

Formal methods and software engineering14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (書目-電子資源)

Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-電子資源)

Runtime verification8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-電子資源)

Tools for practical software verificationLASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (書目-電子資源)

Software safety and securitytools for analysis and verification / by: (書目-電子資源)

Verification, model checking, and abstract interpretation15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / by: (書目-電子資源)

Verified softwaretheories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (書目-電子資源)

Trustworthy global computing8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Tests and proofs8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Engineering dependable software systems by: (書目-電子資源)

Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Verified softwaretheories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers / by: (書目-電子資源)

Trustworthy global computing9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014 : revised selected papers / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2013 / by: (書目-電子資源)

Verification, model checking, and abstract interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / by: (書目-電子資源)

Tests and proofs9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (書目-電子資源)

Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II / by: (書目-電子資源)

Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I / by: (書目-電子資源)

E-Voting and identity5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings / by: (書目-電子資源)

Model checking software22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (書目-電子資源)

Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201518th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2014 / by: (書目-電子資源)

Trustworthy global computing10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers / by: (書目-電子資源)

Verified softwaretheories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / by: (書目-電子資源)

Model checking software23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (書目-電子資源)

Tests and proofs10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (書目-電子資源)

Dependable software systems engineering by: (書目-電子資源)

Computer aided verification28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I / by: (書目-電子資源)

Computer aided verification28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II / by: (書目-電子資源)

Type systems for distributed programscomponents and sessions / by: (書目-電子資源)

Critical systemsformal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (書目-電子資源)

Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Hardware and softwareverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (書目-電子資源)

Verified Software. Theories, Tools, and Experiments8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: (書目-電子資源)

Numerical software verification9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part II / by: (書目-電子資源)

Tests and proofs11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (書目-電子資源)

Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part I / by: (書目-電子資源)

Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part II / by: (書目-電子資源)

Numerical software verification10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / by: (書目-電子資源)

Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (書目-電子資源)

Critical systemsformal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (書目-電子資源)

Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (書目-電子資源)

Hardware and softwareverification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings / by: (書目-電子資源)

Verified softwaretheories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2016 / by: (書目-電子資源)

Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.Part II / by: (書目-電子資源)

Model checking software25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV / by: (書目-電子資源)

Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (書目-電子資源)

Verified softwaretheories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part II / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part I / by: (書目-電子資源)

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: (書目-電子資源)

Verification, model checking, and abstract interpretation20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (書目-電子資源)

Numerical software verification12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings / by: (書目-電子資源)

Model checking software26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (書目-電子資源)

Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / by: (書目-電子資源)

Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings / by: (書目-電子資源)

Verification and evaluation of computer and communication systems13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part II / by: (書目-電子資源)

Verified softwaretheories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2018 / by: (書目-電子資源)

Tests and proofs14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / by: (書目-電子資源)

Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part I / by: (書目-電子資源)

Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part II / by: (書目-電子資源)

Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (書目-電子資源)

Runtime verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Verification and evaluation of computer and communication systems14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (書目-電子資源)

Tools and methods of program analysis5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 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.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 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.Part II / by: (書目-電子資源)

Tests and proofs15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 202124th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part I / by: (書目-電子資源)

Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part II / by: (書目-電子資源)

Model checking software27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Verification, model checking, and abstract interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings / by: (書目-電子資源)

Verification and evaluation of computer and communication systems15th International Conference, VECoS 2021, virtual event, November 22-23, 2021 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.Part II / by: (書目-電子資源)

Tests and proofs16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings / by: (書目-電子資源)

Computer aided verification34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.Part II / by: (書目-電子資源)

Computer aided verification34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.Part I / by: (書目-電子資源)

Model checking software28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings / by: (書目-電子資源)

Runtime verification22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationsoftware engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part II / by: (書目-電子資源)

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: (書目-電子資源)

Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I / by: (書目-電子資源)

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: (書目-電子資源)

Verified softwaretheories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings.Part II / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings.Part I / by: (書目-電子資源)

Model checking software29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings / by: (書目-電子資源)

Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part I / by: (書目-電子資源)

Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part III / by: (書目-電子資源)

Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part II / by: (書目-電子資源)

Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (書目-電子資源)

Tools and methods of program analysis6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021 : revised selected papers / by: (書目-電子資源)

Verification and evaluation of computer and communication systems16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part III / by: (書目-電子資源)