This paper describes a method which allows specifiers to specify systems using the standard Oxford style Z specification and then to state critical properties (in this case security) on the whole specification without having to specify another model of the system. It does this by showing how a natural semantics can be explicitly given to Oxford style Z specifications. This allows separation of the differing concerns of modelling the security and functional aspects of a system.
CITATION STYLE
Collinson, R. (1994). A critical look at functional specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 873 LNCS, pp. 381–400). Springer Verlag. https://doi.org/10.1007/3-540-58555-9_106
Mendeley helps you to discover research relevant for your work.