© 2018

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

  • Catherine Dubois
  • Burkhart Wolff
Conference proceedings TAP 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10889)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Contribution

    1. Front Matter
      Pages 1-1
    2. Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig
      Pages 3-23
  3. Regular Contributions

    1. Front Matter
      Pages 25-25
    2. Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
      Pages 27-43
    3. Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot
      Pages 44-62
    4. J. Julliand, O. Kouchnarenko, P.-A. Masson, G. Voiron
      Pages 63-82
    5. Mihai Herda, Shmuel Tyszberowicz, Bernhard Beckert
      Pages 83-102
    6. Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels
      Pages 120-138
    7. Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles
      Pages 139-156
  4. Tool Demonstration and Short Papers

    1. Front Matter
      Pages 157-157
    2. Achim D. Brucker, Michael Herzberg
      Pages 159-166
    3. Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov
      Pages 177-184
  5. Back Matter
    Pages 185-185

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.


Artificial intelligence Software Computer aided software engineering Computer programming Formal logic Model checking Problem solving verification specification semantics formal logic formal methods internet formal verifications

Editors and affiliations

  • Catherine Dubois
    • 1
  • Burkhart Wolff
    • 2
  1. 1.ENSIIEEvryFrance
  2. 2.Université Paris-SudGif sur YvetteFrance

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment