The C\#-light project: solutions of some verification challenges

MaRDI QIDQ2882991zbMATH OpenFDO

Authors Alexey V. Promsky

Publication date 11 May 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 semanticsclassical Hoare logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2186292
• Specification and verification challenges for sequential object-oriented programs
• Towards verification of C\(\#\) programs: a three-level approach
• The problems of C program verification
• Towards verification of C programs. C-light language and its formal semantics

Cited in

(4)

• Towards verification of C\(\#\) programs: a three-level approach
• Towards proving type safety of .NET CIL
• scientific article; zbMATH DE number 2186292 (Why is no real title available?)
• The problems of C program verification

This page was built for publication: The C\#-light project: solutions of some verification challenges

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