Formal methods are mathematically based techniques for the rigorous development of
software-intensive systems. The railway signaling domain is a field in which formal methods …

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 …

In the ever expanding universe of formal methods, several tools exist that can be exploited to
validate early system designs, and that are applicable to problems of the railway domain. In …

The purpose of this paper is to research and define the promising worldwide scientific trends
in the field of railway transportation of various dangerous goods. To obtain relevant …

This paper surveys certain Communities of Practice (CoP) in the field of formal methods for
software engineering, especially with respect to state-based notations, using personal …

This book focuses on the clarification of what actually a handbook is, the systematic
identification of what ought to be considered as “settled knowledge”(extracted from historic …

Preliminaries. In the context of the AISSAC seminar on information systems, to which this
invited lecture was given, it is presumed throughout the following considerations that:• …

ABSTRACT The terms Formal Methods (FMs) refer to a set of techniques and software
toolkits that, based on mathematical rigor, can enhance safety, security, and the efficient …

Established engineering disciplines (and, in a similar way, the discipline of medicine) have
desktop handbooks which are partly descriptive and partly normative: they give the …

Several formal tools exist that can be exploited to validate early system designs, and that are
applicable to problems of the railway domain. In this paper, we present an experience in …