Critical Systems Validation and Verification with CSP and FDR

Authors:
Michael Goldsmith;Irfan Zakiuddin
Affiliations:
-;-
Venue:
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Year:
1998

Citing 4
Cited 0

Communicating sequential processes

Communicating sequential processes
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Non-Interference Through Determinism

ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
Modelling and verifying key-exchange protocols using CSP and FDR

CSFW '95 Proceedings of the 8th IEEE workshop on Computer Security Foundations

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 apphcations to which it has been applied.