Towards verification of C programs: Axiomatic semantics of the C-kernel language
From MaRDI portal
Publication:557549
DOI10.1023/B:PACS.0000004134.24714.e5zbMath1099.68544MaRDI QIDQ557549
V. A. Nepomniaschy, I. S. Anureev, A. V. Promskii
Publication date: 30 June 2005
Published in: Programming and Computer Software (Search for Journal in Brave)
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Operational ontological approach to formal programming language specification ⋮ Mechanized semantics for the clight subset of the C language ⋮ Towards verification of C\(\#\) programs: a three-level approach ⋮ Logic for reasoning about bugs in loops over data sequences (IFIL)
Uses Software
This page was built for publication: Towards verification of C programs: Axiomatic semantics of the C-kernel language
