Model Checking of State-Rich Formalisms (By Linking to Combination of State-based Formalism and Process Algebra)

Ye, Kangfeng (2016) Model Checking of State-Rich Formalisms (By Linking to Combination of State-based Formalism and Process Algebra). PhD thesis, University of York.

Abstract

Metadata

Keywords: Circus, CSP, CSP || B, Z, B, UTP, ProB, Model Checking, Formal Verification
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Mr Kangfeng Ye
Date Deposited: 29 Nov 2016 12:16
Last Modified: 29 Nov 2016 12:16

Download

Examined Thesis (PDF)

Filename: PhD_Thesis_KangfengYe_20161112.pdf

Description: Updated version according to RSAT's review comments

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.