Formal Systems and DERA have enjoyed a number of fruitful collaborations in recent years, especially in projects exploiting the FDR tool to analyse CSP models of systems. This paper presents an overview of the approach and some of the diverse applications to which it has been applied.
CITATION STYLE
Goldsmith, M., & Zakiuddin, I. (1999). Critical systems validation and verification with CSP and FDR. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1641, pp. 243–250). Springer Verlag. https://doi.org/10.1007/3-540-48257-1_15
Mendeley helps you to discover research relevant for your work.