Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

Foster, Simon David orcid.org/0000-0002-9889-9514, Hur, Chung-Kil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (Accepted: 2024) Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X (In Press)

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.

Dates:
  • Accepted: 28 September 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 30 Oct 2024 12:30
Last Modified: 30 Oct 2024 12:30
Status: In Press
Refereed: Yes
Open Archives Initiative ID (OAI ID):

Download

Accepted Version


Under temporary embargo

Filename: 2408.15817v1.pdf

Description: Accepted manuscript

Licence: CC-BY 2.5

Request a copy

file not available

Export

Statistics