Verified Runtime Assertion Checking for Memory Properties
From MaRDI portal
Publication:6487262
DOI10.1007/978-3-030-50995-8_6zbMATH Open1511.68083MaRDI QIDQ6487262
Julien Signoles, Nikolai Kosmatov, F. Loulergue, Author name not available (Why is that?)
Publication date: 9 November 2022
Cites Work
- Title not available (Why is that?)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Formal verification of a C-like memory model and its uses for verifying program transformations
- How to get an efficient yet verified arbitrary-precision integer library
- Mechanized semantics for the clight subset of the C language
- Producing Certified Functional Code from Inductive Specifications
Related Items (1)
This page was built for publication: Verified Runtime Assertion Checking for Memory Properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487262)
