We focus on the integration of Formal Methods as mandatory theme in any Computer
Science University curriculum. In particular, when considering the ACM Curriculum for …

Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

Formal methods and supporting tools have a long record of success in the development of
safety-critical systems. However, no single tool has emerged as the dominant solution for …

Shift2Rail is a joint undertaking funded by the EU via its Horizon 2020 program and by main
railway stakeholders. Several Shift2Rail projects aim to investigate the application of formal …

Contract automata facilitate the specification, composition, and synthesis of behavioural
contracts, comprehending modalities and configurations. Contract automata are supported …

We present an application of strategy synthesis to enforce spatial properties. This is
achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to …

Abstract [Context and motivation] Requirements formalisation facilitates reasoning about
inconsistencies, detection of ambiguities, and identification critical issues in system models …

Contract automata have been introduced for specifying applications through behavioural
contracts and for synthesising their orchestrations as finite state automata. This paper …

Context Ensuring safety for any sophisticated system is getting more complex due to the
rising number of features and functionalities. This calls for formal methods to entrust …

Formal methods and tools have become well established and widely applied to ensure the
correctness of fundamental components of industrial critical systems in domains like …