Comparing Formal Tools for System Design: a Judgment Study

Formal methods and tools have a long history of successful applications in the design of safety-critical railway products. However, most of the experiences focused on the application of a single method at once, and little work has been performed to compare the applicability of the different availabl...

Full description

Bibliographic Details

Published in:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) pp. 62 - 74
Main Authors:	Ferrari, Alessio, Mazzanti, Franco, Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.10.2020
Subjects:	empirical formal methods empirical software engineering formal methods formal methods diversity formal tools human aspects of formal design judgment study moving-block system railway
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!