FDR: From Theory to Industrial Application

FDR is the most well-known verification tool for CSP. Since its early beginnings in 1980s, it has developed into one of the world’s fastest model checking tools. Over the years, FDR has made a significant impact across academic subject areas, most notably in cyber-security, as well as across industrial domains, such as high-tech manufacturing, telecommunications, aerospace, and defence. In honour of Bill Roscoe’s 60th birthday, this paper provides a brief history of FDR, together with a collection of notable examples of FDR’s practical impact in these areas.