Published January 11, 2019
| Version 3.0
Dataset
Open
Supplementary Material: Comparing Formal Tools for System Design: a Case Study from the Railway Domain
Creators
Description
The package includes a set of models for a railway moving-block system:
(a) a PDF document named Moving-block Model and Requirements.pdf, which includes a UML model of a moving-block system together with a set of requirements for the system;
(b) a set of 10 folders, each one associated to a formal or semi-formal development tool. Each folder contains one or more model of the moving-block system from (a), developed by means of the tool.
Files
Supplementary Material - FormaliSE 2019.zip
Files
(25.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b6c81fbb8540b5cfd60af81ad69c2ce3
|
25.3 MB | Preview Download |