https://www.sri.com/publication/cyber-formal-methods-pubs/compositionality-for-tightly-coupled-systems-a-new-application-of-the-propositions-as-types-interpretation/
Compositionality for Tightly Coupled Systems: a New Application of the Propositions-As-Types...
Mar 15, 2023 - We present a general proof rule for compositional verification of liveness assertions in tightly coupled systems.
tightly coupled systems