Technical Notes on the Proof of a Stutter Trace Inclusion Theorem

Anne Elisabeth Haxthausen, Alessandro Fantechi

Research output: Book/ReportReportResearchpeer-review

20 Downloads (Pure)

Abstract

This document provides internal technical notes on our proof of a theorem about stutter trace inclusion stated in our manuscript entitled Compositional verification of railway interlocking systems. These notes are not standalone and rely on definitions given in that manuscript.
Original languageEnglish
PublisherTechnical University of Denmark
Number of pages21
Publication statusPublished - 2021

Fingerprint

Dive into the research topics of 'Technical Notes on the Proof of a Stutter Trace Inclusion Theorem'. Together they form a unique fingerprint.

Cite this