Computer programs - Congresses. - Verification

Critical systems = formal 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: (Electronic resources)

Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (Electronic resources)

Software verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (Electronic resources)

Software verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers / by: (Electronic resources)

Computer aided verification = 16th international conference, CAV 2004 / by: (Language materials, printed)

Verification, model checking and abstract interpretation = third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers / by: (Language materials, printed)

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: (Electronic resources)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (Electronic resources)