Computer software - Congresses. - Verification

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

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

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

Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / by: (書目-語言資料,印刷品)

Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by: (書目-語言資料,印刷品)

Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: (書目-語言資料,印刷品)

Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

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

Computer aided verification = 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings / by: (書目-語言資料,印刷品)

SPIN model checking and software verification = 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / by: (書目-語言資料,印刷品)

Computer aided verification = 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / by: (書目-語言資料,印刷品)

Model checking software = 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / by: (書目-語言資料,印刷品)

Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-語言資料,印刷品)

Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

Tools and algorithms for the construction and analysis of systems = 23rd 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 systems = 23rd 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: (書目-電子資源)

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

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

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

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

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

Verified software = theories, 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 design = selected contributions from FDL 2016 / by: (書目-電子資源)

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

Tools and algorithms for the construction and analysis of systems = 24th 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 systems = 24th 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: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 25th 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 systems = 25th 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 systems = 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part III / by: (書目-電子資源)

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

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

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

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

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

Tools and algorithms for the construction and analysis of systems = 26th 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 systems = 26th 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: (書目-電子資源)

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

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

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

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

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

Tools and algorithms for the construction and analysis of systems = 27th 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 systems = 27th 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: (書目-電子資源)

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

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

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

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

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

Tests and proofs = 15th 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 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (書目-電子資源)

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

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

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

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

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

Leveraging applications of formal methods, verification and validation = engineering 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 validation = verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part I / by: (書目-電子資源)

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

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

Tools and algorithms for the construction and analysis of systems = 28th 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 systems = 28th 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 proofs = 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings / by: (書目-電子資源)

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

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

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

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

Tools and algorithms for the construction and analysis of systems = 30th 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 systems = 30th 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 systems = 30th 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: (書目-電子資源)

Computer aided verification = 16th international conference, CAV 2004 / by: (書目-語言資料,印刷品)

Computer aided verification = 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

Model checking software = 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings / by: (書目-語言資料,印刷品)

Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / by: (書目-語言資料,印刷品)

Numerical software with result verification = international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers / by: (書目-語言資料,印刷品)

Computer aided verification = 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings / by: (書目-語言資料,印刷品)

Computer aided verification = 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / by: (書目-語言資料,印刷品)

Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / by: (書目-語言資料,印刷品)

Model checking software = 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

Tools and algorithms for the construction and analysis of systems = 29th 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 systems = 29th 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 software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings / by: (書目-電子資源)

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

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

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