Operationally Proving Memory Access Violations in Isabelle/HOL

Journal article

Peer reviewed

Sharar Ahmadi, Brijesh Dongol and Matt Griffin

Science of computer programming, p.103088

01/2024

Metrics

1 Record Views

Title: Operationally Proving Memory Access Violations in Isabelle/HOL
Creators: Sharar Ahmadi - University of Surrey
Brijesh Dongol - University of Surrey
Matt Griffin - University of Surrey
Publication Details: Science of computer programming, p.103088
Date published: 01/2024
Identifiers: 99858062002346
Academic Unit: School of Computer Science and Electronic Engineering
Language: English
Resource Type: Journal article