Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published March 16, 2022 | Version 2.13.0
Software Open

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments

Creators

  • 1. University of Toronto
  • 2. McMaster University

Description

This is a VirtualBox image containing the software and artifacts required to reproduce the examples within the SOSYM paper titled "The ForeMoSt Approach to Building Valid Model-Based Safety Arguments".

Files

INSTALL.md

Files (5.4 GB)

Name Size Download all
md5:952c43a0b465ce98e4c9f3995d8035d5
2.2 kB Preview Download
md5:b7186e18507831d0cabe40a1d309972a
14.8 kB Preview Download
md5:2f416285170e497021187834aa26808a
5.4 GB Download