Ghosts for Lists: From Axiomatic to Executable Specifications-Reference-Cited by-同舟云学术

Ghosts for Lists: From Axiomatic to Executable Specifications

Published:2018 Issue: Volume: Page:177-184
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Loulergue Frédéric^ORCID,Blanchard Allan,Kosmatov Nikolai^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-92994-1_11

Reference14 articles.

1. Baudin, P., Cuoq, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language. http://frama-c.com/acsl.html

2. Lecture Notes in Computer Science;A Blanchard,2018

3. Lecture Notes in Computer Science;Á Darvas,2010

4. Delahaye, M., Kosmatov, N., Signoles, J.: Common specification language for static and dynamic analysis of C programs. In: Proceedings of the ACM Symposium on Applied Computing, SAC 2013, pp. 1230–1235. ACM (2013)

5. Dunkels, A., Grönvall, B., Voigt, T.: Contiki - a lightweight and flexible operating system for tiny networked sensors. In: Proceedings of the 29th Annual IEEE Conference on Local Computer Networks, LCN 2004, pp. 455–462. IEEE Computer Society (2004)

Cited by 5 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. Towards Formal Verification of Node RED-Based IoT Applications;Lecture Notes in Computer Science;2023-12-19

3. Logic against ghosts;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08

4. Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C;2018 IEEE Cybersecurity Development (SecDev);2018-09

5. A Lesson on Verification of IoT Software with Frama-C;2018 International Conference on High Performance Computing & Simulation (HPCS);2018-07