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

Author： Nepomniaschy V.   Anureev I.   Dubranovskii I.   Promsky A.  

Publisher： MAIK Nauka/Interperiodica

ISSN： 0361-7688

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

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: Axiomatic Semantics of the C-kernel Language

By Nepomniaschy V. A.   Anureev I. S.   Promskii A. V.  

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

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A Three-Level Mathematical Programming Model of Road Pricing

By Ferrari Paolo  

Journal of Global Optimization, Vol. 28, Iss. 3-4, 2004-04 ,pp. : 297-304

Springer Publishing Company

Access to resources Recommend Favorite

Java-MaC: A Run-Time Assurance Approach for Java Programs: Special Issue on Selected Papers from the First International Workshop on Runtime Verification Held in Paris, July 2001 (RV'01).

By Kim MoonZoo   Viswanathan Mahesh   Kannan Sampath   Lee Insup   Sokolsky Oleg  

Formal Methods in System Design, Vol. 24, Iss. 2, 2004-03 ,pp. : 129-155

Springer Publishing Company

Access to resources Recommend Favorite

A three-level net formalism for the modeling of multiple mobile robot systems

By López-Mellado Ernesto   Almeyda-Canepa Hugo  

International Journal of Computer Integrated Manufacturing, Vol. 18, Iss. 2-3, 2005-03 ,pp. : 137-146

Taylor & Francis Ltd

Access to resources Recommend Favorite

Three-Level Caching for Efficient Query Processing in Large Web Search Engines

By Long Xiaohui  

World Wide Web, Vol. 9, Iss. 4, 2006-12 ,pp. : 369-395

Springer Publishing Company

Access to resources Recommend Favorite