Attribute annotations and their use in C program deductive verification-Reference-Cited by-同舟云学术

Attribute annotations and their use in C program deductive verification

Published:2012-12 Issue:7 Volume:46 Page:308-316
ISSN:0146-4116
Container-title:Automatic Control and Computer Sciences
language:en
Short-container-title:Aut. Control Comp. Sci.

Author:

Atuchin M. M.,Anureev I. S.

Publisher

Allerton Press

Subject

Signal Processing,Control and Systems Engineering,Software

Link

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

Reference18 articles.

1. Leroy, X., Formal Verification of a Realistic Complier, Commun. ACM, 2009, no. 7, pp. 107–115.

2. Filliatre, J.C. and Marché, C., Multi-Prover Verification of C Programs, Proc. 6th Int. Conf. on Formal Engineering Methods (ICFEM-04), 2004; Lect. Notes Comput. Sci., 2004, vol. 3308, pp. 15–29.

3. Leino, K.R.M. and Rümmer, P., A Polymorphic Intermediate Verification Language: Design and Logical Encoding, Proc. 16th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2010); Lect. Notes Comput. Sci., 2010, vol. 6015, pp. 312–327.

4. Leino, K.R.M., Dafny: An Automatic Program Verifier for Functional Correctness, Proc. 16th Int. Conf. on Logical Partition (LPAR-16); Lect. Notes Comput. Sci., 2010, vol. 6355, pp. 348–370.

5. Cohen, E., Dahlweid, M., Hillebrand, M., et al., VCC: A Practical System for Verifying Concurrent C, Proc. 22nd Int. Conf. on Theorem Proving in Higher-Order Logics (TPHOLs 2009), Munich, 2009; Lect. Notes Comput. Sci., 2009, vol. 5674, pp. 23–42.

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

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