State of the Art Report:Verified Computation

This is a preprint and may not have undergone formal peer review

Woodcock, Jim orcid.org/0000-0001-7955-2702, Aranha, Diego F., Hallerstede, Stefan et al. (7 more authors) (2023) State of the Art Report:Verified Computation. [Preprint]

Abstract

Metadata

Item Type: Preprint
Authors/Creators:
  • Woodcock, Jim ORCID logo https://orcid.org/0000-0001-7955-2702
  • Aranha, Diego F.
  • Hallerstede, Stefan
  • Hansen, Simon Thrane
  • Jakobsen, Nikolaj Kuhne
  • Kulik, Tomas
  • Larsen, Peter Gorm
  • Macedo, Hugo Daniel
  • Martin, Carlos Ignacio Isasa
  • Norrild, Victor Alexander Mtsimbe
Copyright, Publisher and Additional Information:

54 pages

Keywords: cs.CR
Dates:
  • Published: 29 August 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: 06 Sep 2023 11:30
Last Modified: 13 Feb 2025 05:35
Status: Published
Publisher: Arxiv (Cornell University)
Open Archives Initiative ID (OAI ID):

Download

Filename: 2308.15191v1.pdf

Description: 2308.15191v1

Export

Statistics