Verification of graph programs with monadic second-order logic

Wulandari, Gia Septiana ORCID: 0000-0002-6155-8601 (2021) Verification of graph programs with monadic second-order logic. PhD thesis, University of York.

Abstract

Metadata

Related URLs:
Keywords: GP 2, graph transformation, formal verification, monadic second-order logic, Hoare logic
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Gia Septiana Wulandari
Date Deposited: 21 Sep 2021 16:25
Last Modified: 21 Sep 2021 16:25

Download

Examined Thesis (PDF)

Filename: Wulandari_203043881_FinalThesis.pdf

Licence: CC-BY-NC-ND 4.0

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.