Researchers from the Software Technologies Lab (STLAB) of the University of Florence and the two research labs Formal Methods and Tools (FMT) and Software Engineering and Dependable Computing (SEDC) of CNR-ISTI join forces to work on innovative solutions for the evaluation of railway systems. The research is conducted in the context of the na- tional project ADVENTURE funded by the Italian Ministry for Universities and Research (MUR) under the program for Projects of National Interest (PRIN).