Model-checking infinite-state nuclear safety I&C systems with nuXmv

Antti Pakonen. Model-checking infinite-state nuclear safety I&C systems with nuXmv. In 19th IEEE International Conference on Industrial Informatics, INDIN 2021, Palma de Mallorca, Spain, July 21-23, 2021. pages 1-6, IEEE, 2021. [doi]

Abstract

Abstract is missing.