Advertisement

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

  • Dirk Beyer
  • Marieke Huisman
Open Access
Conference proceedings
TACAS 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XX
  2. Theorem Proving

    1. Front Matter
      Pages 1-1
    2. Giles Reger, Martin Suda, Andrei Voronkov
      Pages 3-22 Open Access
    3. Quang Loc Le, Jun Sun, Shengchao Qin
      Pages 41-60 Open Access
    4. Simon Wimmer, Peter Lammich
      Pages 61-78 Open Access
  3. SAT and SMT I

    1. Front Matter
      Pages 79-79
    2. Randal E. Bryant
      Pages 81-98 Open Access
    3. Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
      Pages 99-114 Open Access
    4. Kshitij Bansal, Eric Koskinen, Omer Tripp
      Pages 115-132 Open Access
    5. Seonmo Kim, Stephen McCamant
      Pages 133-151 Open Access
  4. Deductive Verification

    1. Front Matter
      Pages 153-153
    2. Maximilian P. L. Haslbeck, Tobias Nipkow
      Pages 155-171 Open Access
    3. Raphaël Cauderlier, Mihaela Sighireanu
      Pages 172-189 Open Access
    4. Alexander J. Summers, Peter Müller
      Pages 190-209 Open Access
  5. Software Verification and Optimisation

    1. Front Matter
      Pages 211-211
    2. Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah
      Pages 213-231 Open Access
    3. Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
      Pages 232-250 Open Access
    4. Grigory Fedyukovich, Rastislav Bodík
      Pages 251-269 Open Access
    5. Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
      Pages 270-287 Open Access
  6. Model Checking

    1. Front Matter
      Pages 289-289
    2. Rohit Dureja, Kristin Yvonne Rozier
      Pages 309-327 Open Access
    3. Chuan Jiang, Gianfranco Ciardo
      Pages 328-343 Open Access
    4. Gabriele Costa, David Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
      Pages 344-361 Open Access
  7. Machine Learning

    1. Front Matter
      Pages 363-363
    2. Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
      Pages 365-384 Open Access
    3. Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Viktor Toman
      Pages 385-407 Open Access
    4. Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
      Pages 408-426 Open Access
  8. Back Matter
    Pages 427-429

Other volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems
    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
  2. 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

About these proceedings

Introduction

This book is Open Access under a CC BY licence. 

Keywords

authentication computer science computer software selection and evaluation cryptography data privacy formal logic formal methods formal specification internet privacy program compilers programming languages security systems semantics separation logic software engineering specifications verification world wide web

Editors and affiliations

  1. 1.Ludwig-Maximilians-Universität MünchenMunichGermany
  2. 2.University of TwenteEnschedeThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-89960-2
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89959-6
  • Online ISBN 978-3-319-89960-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site