A Lesson on Runtime Assertion Checking with Frama-C-Reference-Cited by-同舟云学术

A Lesson on Runtime Assertion Checking with Frama-C

Published:2013 Issue: Volume: Page:386-399
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Kosmatov Nikolai,Signoles Julien

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40787-1_29

Reference17 articles.

1. Clarke, L.A., Rosenblum, D.S.: A historical perspective on runtime assertion checking in software development. ACM SIGSOFT Software Engineering Notes 31(3), 25–37 (2006)

2. Correnson, L., Cuoq, P., Kirchner, F., Prevosto, V., Puccetti, A., Signoles, J., Yakobowski, B.: Frama-C User Manual (April 2013), http://frama-c.com

3. Lecture Notes in Computer Science;P. Cuoq,2012

4. Baudin, P., Filliâtre, J.C., Hubert, T., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language, v1.6. (April 2013), http://frama-c.com/acsl.html

5. Signoles, J.: E-ACSL: Executable ANSI/ISO C Specification Language (May 2013), http://frama-c.com/download/e-acsl/e-acsl.pdf

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

1. Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack;Lecture Notes in Computer Science;2024-09-10

2. Language Design Meets Verifying Compilers (Keynote);Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29

3. Verifying Whiley Programs with Boogie;Journal of Automated Reasoning;2022-03-20

4. VrFy: Verification of Formal Requirements using Generic Traces;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12

5. Methodology for Specification and Verification of High-Level Requirements with MetAcsl;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05