Formal safety assessment of ships | AbS