Browsing Institutt for marin teknikk by Journals "Proceedings of the World Maritime Technology Conference"

Now showing items 1-1 of 1

    • On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships 

      Torben, Tobias; Smogeli, Øyvind; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan (Journal article, 2022)
      Maritime Autonomous Surface Ships (MASS) are approaching a reality, introducing a new level of complexity and criticality to maritime control systems. In this paper we investigate how Formal Methods (FMs) can be used to ...