Advertisement

Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

  • Cyrille Artho
  • Peter Csaba Ölveczky
Conference proceedings FTSCS 2018

Part of the Communications in Computer and Information Science book series (CCIS, volume 1008)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Analysis and Verification of Safety-Critical Systems

    1. Front Matter
      Pages 1-1
    2. Asad Ahmed, Osman Hasan, Falah Awwad
      Pages 3-17
    3. Maryam Kamali, Sven Linker, Michael Fisher
      Pages 18-36
    4. Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll
      Pages 37-54
    5. John Törnblom, Simin Nadjm-Tehrani
      Pages 55-71
  3. Analysis of Timed Systems

    1. Front Matter
      Pages 73-73
    2. Qurat Ul Ain, Osman Hasan
      Pages 84-100
    3. Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
      Pages 101-118
  4. Semantics and Analysis Methods

    1. Front Matter
      Pages 119-119
    2. Karla Morris, Colin Snook, Thai Son Hoang, Robert Armstrong, Michael Butler
      Pages 121-138
  5. Model Transformation

    1. Front Matter
      Pages 159-159
    2. William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein
      Pages 161-177
  6. Back Matter
    Pages 179-179

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.

The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

Keywords

artificial intelligence formal logic formal methods formal verifications model checking problem solving semantics software engineering specifications theorem proving

Editors and affiliations

  1. 1.KTH Royal Institute of TechnologyStockholmSweden
  2. 2.University of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-12988-0
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-12987-3
  • Online ISBN 978-3-030-12988-0
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site