A three-stage method of C program verification

MaRDI QIDQ2880622zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 13 April 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

abstract machineaxiomatic semanticsC-lightmetavariableverification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2186292
• Towards verification of C\(\#\) programs: a three-level approach
• The problems of C program verification
• scientific article; zbMATH DE number 1377354

Cited in

(4)

• The problems of C program verification
• Two-level mixed verification method of C-light programs in terms of safety logic
• scientific article; zbMATH DE number 2186292 (Why is no real title available?)
• Towards verification of C\(\#\) programs: a three-level approach

Describes a project that uses

Uses Software

• C-Light

This page was built for publication: A three-stage method of C program verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2880622)