IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale

Munive, Jonathan Huerta y, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning. 68. ISSN: 0168-7433

Metadata

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

© The Author(s) 2024
Dates:
  • Accepted: 29 July 2024
  • Published: 19 October 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: 04 Dec 2024 12:10
Last Modified: 17 Sep 2025 03:58
Published Version: https://doi.org/10.1007/s10817-024-09709-2
Status: Published
Refereed: Yes
Identification Number: 10.1007/s10817-024-09709-2
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: s10817-024-09709-2.pdf

Description: IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale

Licence: CC-BY-NC-ND 2.5

CLICK TO DOWNLOAD [thumbnail of IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale]

Export

Statistics


CORE (COnnecting REpositories)