Proof of Completeness of Compositional Verification of Interlocking Systems

Anne Elisabeth Haxthausen, Alessandro Fantechi

Research output: Book/ReportReportResearchpeer-review

85 Downloads (Pure)

Abstract

This document outlines a proof demonstrating completeness of a compositional method presented in our manuscript [HF22] entitled Compositional verification of railway interlocking systems.
Original languageEnglish
PublisherTechnical University of Denmark
Number of pages14
Publication statusPublished - 2022

Fingerprint

Dive into the research topics of 'Proof of Completeness of Compositional Verification of Interlocking Systems'. Together they form a unique fingerprint.

Cite this