Deductive Verification Based Abstraction for Software Model Checking-Reference-Cited by-同舟云学术

Deductive Verification Based Abstraction for Software Model Checking

Published:2022 Issue: Volume: Page:7-28
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
language:
Short-container-title:

Author:

Amilon Jesper,Lidström Christian,Gurov Dilian

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-19849-6_2

Reference21 articles.

1. Lecture Notes in Computer Science;A Alshnakat,2020

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

3. Baudin, P., Bobot, F., Correnson, L., Dargaye, Z., Blanchard, A.: WP Plug-in Manual - Frama-C 23.1 (Vanadium). CEA LIST. http://frama-c.com/download/frama-c-wp-manual.pdf

4. Lecture Notes in Computer Science;B Beckert,2020

5. Benveniste, A., et al.: Contracts for System Design, vol. 12. Now Publishers, Norwell (2018). https://doi.org/10.1561/1000000053

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

1. Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24

2. C Programs Formal Verification Using Maude;2024 4th International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET);2024-05-16

3. A hybrid architecture for secure Big-Data integration and sharing in Smart Manufacturing;2023 46th International Spring Seminar on Electronics Technology (ISSE);2023-05-10

4. Contract Based Embedded Software Design;Theoretical Aspects of Software Engineering;2023

5. SpecifyThis – Bridging Gaps Between Program Specification Paradigms;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022