Published July 16, 2021
| Version 2.10.0
Software
Open
A Lean Approach to Building Valid Model-Based Safety Arguments
- 1. University of Toronto
Description
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 |
|---|---|---|
|
md5:407e0f1ebf706fcd050b75ec4cc3a63b
|
3.1 GB | Download |