Computer software - Congresses. - Verification

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

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

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

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

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

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

Leveraging applications of formal methods, verification and validation = technologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part I / by: (書目-電子資源)

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

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

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

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

Model checking software = 23rd 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 systems = 22nd 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 design = selected contributions from FDL 2015 / by: (書目-電子資源)

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

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

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

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

Fundamental approaches to software engineering = 15th 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 methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the tenth SoMeT_11 / by: (書目-語言資料,印刷品)

Software and systems safety = specification and verification / by: (書目-語言資料,印刷品)

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

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

E-voting and identity = third 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 change = 5th 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 studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (書目-電子資源)

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

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

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

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

Tests and proofs = 8th 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 2014 = 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Computer aided verification = 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-電子資源)

Runtime verification = 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part II / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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