Skip to main content
SpringerLink
Log in

Selected Extended Papers of VSTTE 2016

  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

Abstract

This special issue collects current efforts to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. IRISA - CNRS, Université Rennes 1, Rennes, France

    Sandrine Blazy

  2. University of Toronto, Toronto, Canada

    Marsha Chechik

Authors
  1. Sandrine Blazy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marsha Chechik
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sandrine Blazy.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Blazy, S., Chechik, M. Selected Extended Papers of VSTTE 2016. J Autom Reasoning 60, 255–256 (2018). https://doi.org/10.1007/s10817-017-9430-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10817-017-9430-8

Keywords

Search

Navigation