Automated Compositional Verification for Robotic State Machines using Isabelle/HOL

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (Accepted: 2023) Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. In: 27th International Conference on Engineering of Complex Computer Systems. the 27th International Conference on Engineering of Complex Computer Systems, 14-16 Jun 2023 IEEE , FRA (In Press)

Abstract

Metadata

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

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Dates:
  • Accepted: 16 March 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 26 Apr 2023 08:10
Last Modified: 02 Apr 2025 23:34
Status: In Press
Publisher: IEEE
Open Archives Initiative ID (OAI ID):

Download

Filename: ICECCS2023_Automated_Compositional_Verification_for_RoboChart_State_Machines.pdf

Description: ICECCS2023_Automated_Compositional_Verification_for_RoboChart_State_Machines

Export

Statistics