Support for Model Checking Z Specifications

Siregar, Maria Ulfah (2016) Support for Model Checking Z Specifications. PhD thesis, University of Sheffield.

Abstract

Metadata

Keywords: Z, Generic Constant, Schema Calculus, Z2SAL, SAL, Model Checking
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)

The University of Sheffield > Faculty of Engineering (Sheffield)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.718818
Depositing User: Mrs Maria Ulfah Siregar
Date Deposited: 10 Jul 2017 08:24
Last Modified: 12 Oct 2018 09:41

Download

thesis_acp12mus_rev

Filename: thesis_acp12mus_rev.pdf

Licence: Creative Commons Attribution Non-commercial No Derivatives (UK)

Share / Export


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.