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.
|Technical University of Denmark
|Number of pages
|Published - 2021