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 language | English |
---|
Publisher | Technical University of Denmark |
---|---|
Number of pages | 14 |
Publication status | Published - 2022 |