Document - A case study in formal analysis of system requirements

2023

Contribution to book Open Access

A case study in formal analysis of system requirements

Belli D, Mazzanti F

Requirements analysis Formal Methods UML UMC ProB LNT

One of the goals of the 4SECURail project has been to demonstrate the benefits, limits, and costs of introducing formal meth- ods in the system requirements definition process. This has been done, on an experimental basis, by applying a specific set of tools and method- ologies to a case study from the railway sector. The paper describes the approach adopted in the project and some considerations resulting from the experience.

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:471855,
	title = {A case study in formal analysis of system requirements},
	author = {Belli D and Mazzanti F},
	year = {2023}
}