Towards verification of C programs: Axiomatic semantics of the C-kernel language
type: Item
instance of: scholarly article
title: Towards verification of C programs: Axiomatic semantics of the C-kernel language
zbMATH Open document ID: 1099.68544
author: V. A. Nepomniaschy
author: Igor S. Anureev
author: A. V. Promskii
published in: Programming and Computer Software
publication date: 2005-06-30T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2183802
describes a project that uses: C-Light
MaRDI profile type: Publication
DOI: 10.1023/B:PACS.0000004134.24714.E5
Recommended article: Towards verification of C programs. C-light language and its formal semantics
Recommended article: Q2979813
Recommended article: Towards verification of C\(\#\) programs: a three-level approach
Recommended article: Formal verification of C systems code. Structured types, separation logic and theorem proving
Recommended article: Q3023540
description: scientific article; zbMATH DE number 2183802