Formally Proving Compositionality in Industrial Systems with Informal Specifications.

Mattias Nyberg, Jonas Westman, Dilian Gurov

Browse the full ISoLA paper archive.