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 II

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

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

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

Table of contents

  1. Front Matter
    Pages I-XX
  2. Concurrent and Distributed Systems

    1. Front Matter
      Pages 1-1
    2. Philipp J. Meyer, Javier Esparza, Hagen Völzer
      Pages 3-19 Open Access
    3. Peter Chini, Roland Meyer, Prakash Saivasan
      Pages 20-37 Open Access
    4. A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
      Pages 38-54 Open Access
    5. Cristian Mattarei, Clark Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
      Pages 55-71 Open Access
  3. SAT and SMT II

    1. Front Matter
      Pages 73-73
    2. Marijn J. H. Heule, Armin Biere
      Pages 75-92 Open Access
    3. Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
      Pages 112-131 Open Access
    4. Pierre Roux, Mohamed Iguernlala, Sylvain Conchon
      Pages 132-151 Open Access
  4. Security and Reactive Systems

    1. Front Matter
      Pages 153-153
    2. Milan Češka, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar
      Pages 155-175 Open Access
    3. Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel et al.
      Pages 176-193 Open Access
    4. Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
      Pages 194-200 Open Access
    5. Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
      Pages 201-208 Open Access
  5. Static and Dynamic Program Analysis

    1. Front Matter
      Pages 209-209
    2. Lina Marsso, Radu Mateescu, Wendelin Serwe
      Pages 211-228 Open Access
    3. Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
      Pages 229-248 Open Access
    4. Elena Sherman, Matthew B. Dwyer
      Pages 249-265 Open Access
    5. Jan Leike, Matthias Heizmann
      Pages 266-283 Open Access
  6. Hybrid and Stochastic Systems

    1. Front Matter
      Pages 285-285
    2. Stefan Schupp, Erika Ábrahám
      Pages 287-302 Open Access
    3. Dejan Ničković, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
      Pages 303-319 Open Access
    4. Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
      Pages 320-339 Open Access
    5. Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
      Pages 340-358 Open Access
  7. Temporal Logic and Mu-calculus

    1. Front Matter
      Pages 359-359
    2. Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
      Pages 361-378 Open Access
    3. Kedar S. Namjoshi, Richard J. Trefler
      Pages 379-395 Open Access
  8. 7th Competition on Software Verification (SV-COMP)

    1. Front Matter
      Pages 415-415
    2. Viktor Malík, Štefan Martiček, Peter Schrammel, Mandayam Srivas, Tomáš Vojnar, Johanan Wahlang
      Pages 417-421 Open Access
    3. Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
      Pages 422-426 Open Access
    4. Pavel Andrianov, Vadim Mutilin, Mikhail Mandrykin, Anton Vasilyev
      Pages 427-431 Open Access
    5. Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong
      Pages 432-436 Open Access
    6. Rafael Menezes, Herbert Rocha, Lucas Cordeiro, Raimundo Barreto
      Pages 437-441 Open Access
    7. Marek Chalupa, Martina Vitovská, Jan Strejček
      Pages 442-446 Open Access
    8. Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li et al.
      Pages 447-451 Open Access
    9. Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski et al.
      Pages 452-456 Open Access
    10. Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basakchowdhury et al.
      Pages 457-462 Open Access
  9. Back Matter
    Pages 463-465

Other volumes

  1. 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. 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 II

About these proceedings

Introduction

This book is Open Access under a CC BY licence.

Keywords

computer architecture computer software selection and evaluation formal logic formal methods model checker model checking multi core processors program compilers programming languages semantics software engineering specifications state space verification

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-89963-3
  • 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-89962-6
  • Online ISBN 978-3-319-89963-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace