QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking-Reference-Cited by-同舟云学术

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking

Published:2020 Issue: Volume: Page:21-32
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kleine Büning Marko,Sinz Carsten,Faragó David

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-63618-0_2

Reference24 articles.

1. Bessey, A., et al.: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2) (2010)

2. Lecture Notes in Computer Science;G Brat,2014

3. Bährle, R.: Market analysis of safety-critical software in the automotive industry. Master’s thesis, Karlsruhe Institue of Technologie (2016). https://baldur.iti.kit.edu/qpr/Marktanalyse-baehrle.pdf

4. Lecture Notes in Computer Science;P Darke,2018

5. Chimdyalwar, B., Darke, P., Chavda, A., Vaghani, S., Chauhan, A.: Eliminating static analysis false positives using loop abstraction and bounded model checking. In: FM 2015: Formal Methods, pp. 573–576 (2015)

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

1. Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking;International Journal of Software Engineering and Knowledge Engineering;2023-05-17

2. Verifying verified code;Innovations in Systems and Software Engineering;2022-03-30

3. Refined Modularization for Bounded Model Checking Through Precondition Generation;Formal Methods and Software Engineering;2022

4. Verifying Verified Code;Automated Technology for Verification and Analysis;2021