Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

Ye, Kangfeng, Foster, Simon David orcid.org/0000-0002-9889-9514 and Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 (2018) Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP. Working Paper. (Unpublished)

Abstract

Metadata

Authors/Creators:
Keywords: UTP,Simulink,Formal Verification,Isabelle/UTP,Assume-Guarantee,Contract-based Verification
Dates:
  • April 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 18 Apr 2018 09:50
Last Modified: 17 May 2020 23:33
Status: Unpublished
Refereed: No

Share / Export