Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

Author： Nepomniaschy V. A.   Anureev I. S.   Promskii A. V.  

Publisher： MAIK Nauka/Interperiodica

ISSN： 0361-7688

Source： Programming and Computer Software, Vol.29, Iss.6, 2003-11, pp. : 338-350

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Towards verification of C# programs: A three-level approach

By Nepomniaschy V.   Anureev I.   Dubranovskii I.   Promsky A.  

Programming and Computer Software, Vol. 32, Iss. 4, 2006-09 ,pp. : 190-202

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

An axiomatic semantics for Esterel

By Tini S.  

Theoretical Computer Science, Vol. 269, Iss. 1, 2001-10 ,pp. : 231-282

Elsevier

Access to resources Recommend Favorite

Communication Optimizations for Parallel C Programs

By Zhu Y.   Hendren L.J.  

Journal of Parallel and Distributed Computing, Vol. 58, Iss. 2, 1999-08 ,pp. : 301-332

Academic Press

Access to resources Recommend Favorite

Verification of SpecC using predicate abstraction

By Clarke Edmund   Jain Himanshu   Kroening Daniel  

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 5-28

Springer Publishing Company

Access to resources Recommend Favorite

A Framework for the Functional Verification of SystemC Models

By Bruschi Francesco   Ferrandi Fabrizio   Sciuto Donatella  

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 667-695

Springer Publishing Company

Access to resources Recommend Favorite