机译:Formal Methods in Railways: A Systematic Mapping Study
Consiglio Nazl Ric ISTE CNR;
Formal methods; semi-formal methods; model-based development; model checking; theorem proving; static analysis; railway systems; railway signaling; interlocking;