Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Kim Guldstrand Larsen (Editor), Tim Willemse (Editor)

Research output: Book/ReportAnthologyResearchpeer-review

Abstract

The proceedings contain 9 papers. The special focus in this conference is on Formal Methods for Industrial Critical Systems. The topics include: Formal Modelling and Verification of an Interlocking Using mCRL2; A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas; multiple Analyses, Requirements Once:: Simplifying Testing and Verification in Automotive Model-Based Development; the Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis; Incremental Development of a Safety Critical System Combining formal Methods and DSMLs: − Application to a Railway System −; probabilistic Verification for Reliable Network-on-Chip System Design; A Simulator for LLVM Bitcode.

Original languageEnglish
PublisherSpringer Publishing Company
ISBN (Electronic)978-3-030-27007-0
DOIs
Publication statusPublished - 2019
EventInternational Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019) - Amsterdam, Netherlands
Duration: 30 Aug 201931 Aug 2019
SeriesLecture Notes in Computer Science
Volume11687
ISSN0302-9743

Conference

ConferenceInternational Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019)
Country/TerritoryNetherlands
CityAmsterdam
Period30/08/201931/08/2019

Fingerprint

Dive into the research topics of 'Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.'. Together they form a unique fingerprint.

Cite this