Selected extended papers of VSTTE 2016

DOI10.1007/S10817-017-9430-8zbMATH Open1426.68006OpenAlexW2755096470MaRDI QIDQ1703005FDOQ1703005

Authors:

Publication date: 1 March 2018

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-017-9430-8

Recommendations

• Preface
• Special issue on the 16th international conference on verification, model checking, and abstract interpretation
• Preface of the special issue on the conference on computer-aided verification 2018
• Foreword
• Preface for the special issue for ATVA 2015

zbMATH Keywords

model checkingformal verificationinteractive theorem provingdeductive verification

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (5)

• Selected papers from ISTET 2013
• Foreword
• Special issue on program verification, automated debugging and symbolic computation
• Introduction
• Special issue on the 16th international conference on verification, model checking, and abstract interpretation

Uses Software

• Coq
• Why3

This page was built for publication: Selected extended papers of VSTTE 2016

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1703005)