Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9952)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9952)

Table of contents

  1. Front Matter
    Pages XI-XXXII
  2. Statistical Model Checking

    1. Front Matter
      Pages 1-1
    2. Kim G. Larsen, Axel Legay
      Pages 3-15
    3. Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt
      Pages 16-26
    4. K. Kalajdzic, C. Jegourel, A. Lukina, E. Bartocci, A. Legay, S. A. Smolka et al.
      Pages 46-61
    5. Shiraj Arora, M. V. Panduranga Rao
      Pages 62-76
    6. Axel Legay, Sean Sedwards, Louis-Marie Traonouez
      Pages 77-93
    7. Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin
      Pages 114-133
    8. Alexis Linard, Marcos L. P. Bueno
      Pages 134-150
    9. Enno Ruijters, Mariëlle Stoelinga
      Pages 151-165
  3. Evaluation and Reproducibility of Program Analysis and Verification

    1. Front Matter
      Pages 189-189
    2. Markus Schordan, Dirk Beyer, Jonas Lundberg
      Pages 191-194
    3. Dirk Beyer, Thomas Lemberger
      Pages 195-211
    4. Thomas S. Heinze, Wolfram Amme
      Pages 227-242
    5. M. Usman Iftikhar, Jonas Lundberg, Danny Weyns
      Pages 243-258

Other volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
  2. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.


The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

Keywords

adaptive systems compilers formal methods formal verification model checking model-driven engineering modeling privacy programming languages railways refinement security semantics Service-Oriented Architecture (SOA) software engineering software evolution software product lines specifications static analysis Unified Modeling Language

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.LeroLimerickIreland
  2. 2.TU DortmundDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-47166-2
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-47165-5
  • Online ISBN 978-3-319-47166-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace