ssfmgroup 2013 - The 2013 Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems

Formal methods in software science and software engineering have existed at least as long as the term software engineering (NATO Science Conference, Garmisch, 1968) itself. In many engineering-based application areas, such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge (abbreviated as BOK). The purpose of the Workshop is to bring together practitioners and researchers in this area and to that end.