Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis-Reference-Cited by-同舟云学术

Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis

Published:2021-12 Issue: Volume: Page:
ISSN:
Container-title:2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
language:
Short-container-title:

Author:

Mohammadi Hessamaldin¹,Ghardallou Wided²,Mili Ali³

Affiliation:

1. NJIT,Newark,NJ

2. UniSO,Sousse,Tunisia

3. NJIT,Newark,NJ,USA

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9741747/9741863/09742215.pdf?arnumber=9742215

Reference39 articles.

1. LOOPUS: A tool for computing loop bounds for C programs;zuleger;Proceedings WING 2010,2010

2. Really Rethinking 'Formal Methods'

3. The new math of computer programming

4. Synthesizing functional invariants in separation logic;maclean;Proceedings Workshop on Invariant Generation WING 2010,2010

5. Termination analysis with compositional transitron invariants;kroening;Proceedings CAV 2010 22nd International Conference on Computer Aided Verification,2010

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

1. On the persistent rumors of the programmer’s imminent demise;Software and Systems Modeling;2023-11-15

2. Air Conditioning Systems Fault Detection and Diagnosis-Based Sensing and Data-Driven Approaches;Energies;2023-06-15

3. Provably Correct Software: Don't Leave Earth Without It;AIAA SCITECH 2023 Forum;2023-01-19

4. Expert System with Facial Recognition Implemented in Human-Machine Conversation Services for the Automation of Multi-platform Remote Processes in the Identification of People Reported Missing;Trends in Artificial Intelligence and Computer Engineering;2023