C-programs verification based on mixed axiomatic semantics-Reference-Cited by-同舟云学术

C-programs verification based on mixed axiomatic semantics

Published:2011-12 Issue:7 Volume:45 Page:485-500
ISSN:0146-4116
Container-title:Automatic Control and Computer Sciences
language:en
Short-container-title:Aut. Conrol Comp. Sci.

Author:

Anureev I. S.,Maryasov I. V.,Nepomniaschy V. A.

Publisher

Allerton Press

Subject

Signal Processing,Control and Systems Engineering,Software

Link

http://link.springer.com/content/pdf/10.3103/S0146411611070029.pdf

Reference11 articles.

1. Nepomniaschy, V.A., Anureev, I.S., Mikhailov, I.N., and Promsky, A.V., C-Light Language Oriented on Verification, in Sistemnaya informatika: sbornik nauchnykh trudov (Systematic Informatics: Collection of Scientific Papers), Novosibirsk: Sib. Otd. Ross. Akad. Nauk, 2004, no. 9.

2. Nepomniaschy, V.A., Anureev, I.S., and Promsky, A.V., Towards Verification of C-Programs. C-Light Language and Its Transformational Semantics, Problems in Programming, 2006, nos. 2–3, pp. 359–368.

3. Nepomniaschy, V.A., Anureev, I.S., Mikhailov, I.N., and Promsky, A.V., Towards Verification of C Programs. C-Light Language and Its Formal Semantics, Program. Comput. Software, 2002, vol. 28, no. 6, pp. 314–323.

4. Nepomniaschy, V.A., Anureev, I.S., Mikhailov, I.N., and Promsky, A.V., Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language, Program. Comput. Software, 2003, vol. 29, no. 6, pp. 338–350.

5. Nepomniaschy, V.A., Anureev, I.S., Mikhailov, I.N., and Promsky, A.V., Towards Verification of C Programs. Part 1. C-Light Language, Preprint of Inst. of Inform. Systems, Sib. Branch of Russ. Acad. Sci., Novosibirsk, 2001, no. 84, p. 48.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination;Automatic Control and Computer Sciences;2019-12

2. Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics;2019 International Siberian Conference on Control and Communications (SIBCON);2019-04

3. Towards Automatic Deductive Verification of C Programs over Linear Arrays;Lecture Notes in Computer Science;2019

4. Automatic C program verification based on mixed axiomatic semantics;Automatic Control and Computer Sciences;2014-12

5. Deductive verification of telecommunication systems written in C;Automatic Control and Computer Sciences;2013-12