Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties-Reference-Cited by-同舟云学术

Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

Published:2019 Issue: Volume: Page:167-185
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Robles Virgile^ORCID,Kosmatov Nikolai^ORCID,Prevosto Virgile^ORCID,Rilling Louis^ORCID,Le Gall Pascale^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-31157-5_11

Reference14 articles.

1. Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Formal Aspects Comput. 27, 573–609 (2015)

2. Baudin, P.: ACSL: ANSI/ISO C Specification Language (2018). https://framac.com/acsl.html

3. Lecture Notes in Computer Science;V Robles,2019

4. Baudin, P., Bobot, F., Correnson, L., Dargaye, Z.: WP plugin manual (2010). http://frama-c.com/wp.html

5. Signoles, J., Kosmatov, N., Vorobyov, K.: E-ACSL, a runtime verification tool for safety and security of C programs (tool paper). In: International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, pp. 164–173 (2017)

Cited by 8 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. Runtime Annotation Checking with Frama-C: The E-ACSL Plug-in;Computer Science Foundations and Applied Logic;2024

3. Proof of Security Properties: Application to JavaCard Virtual Machine;Computer Science Foundations and Applied Logic;2024

4. Specification and Verification of High-Level Properties;Computer Science Foundations and Applied Logic;2024

5. Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27