COMPASTA: Extending TASTE with Formal Design and Verification Functionality

von Bombardelli, Alberto
Veröffentlicht in IMBSA (8. : 2022 : München) Model-based safety and assessment (2022)

A Model-Based Approach to the Design, Verification and Deployment of Railway Inerlocking System

von Amendola, Arturo
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems

von Amendola, Arturo
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)