Selected extended papers of VSTTE 2016

DOI10.1007/S10817-017-9430-8MaRDI QIDQ1703005zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(5)

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

Describes a project that uses

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)