A Lean Approach to Building Valid Model-Based Safety Arguments

Viger, Torin; Murphy, Logan; Di Sandro, Alessio; Shahin, Ramy; Chechik, Marsha

doi:10.5281/zenodo.5110436

Published July 16, 2021 | Version 2.10.0

Software Open

A Lean Approach to Building Valid Model-Based Safety Arguments

Viger, Torin¹
Murphy, Logan¹
Di Sandro, Alessio¹
Shahin, Ramy¹
Chechik, Marsha¹

1. University of Toronto

This is a VirtualBox image containing the software and artifacts required to reproduce the examples within the MODELS 2021 paper "A Lean Approach to Building Valid Model-Based Safety Arguments".

Files

Files (3.1 GB)

Name	Size	Download all
MMINT.ova md5:407e0f1ebf706fcd050b75ec4cc3a63b	3.1 GB	Download

Views

Downloads

Show more details

	All versions	This version
Views	85	85
Downloads	19	19
Data volume	64.7 GB	64.7 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: July 16, 2021
Modified: July 17, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments

Creators

Description

Files

Files (3.1 GB)