On Software Safety, Security, and Abstract Interpretation

2018 ◽  
pp. 662-665
Author(s):  
Daniel Kästner ◽  
Laurent Mauborgne ◽  
Christian Ferdinand
Keyword(s):  
Abstract Interpretation ◽  
Software Safety

Quantifying Minimum-Time-To-Intrusion Based on Dynamic Software Safety Assessment

2000 ◽  
Author(s):  
Jeffery M. Voas ◽  
Gary McGraw ◽  
Anup Ghosh ◽  
Frank Charron ◽  
Michael Schatz
Keyword(s):  
Safety Assessment ◽  
Minimum Time ◽  
Software Safety ◽  
Dynamic Software

scholarly journals Tracing compilation by abstract interpretation

2014 ◽  
Vol 49 (1) ◽  
pp. 47-59
Author(s):  
Stefano Dissegna ◽  
Francesco Logozzo ◽  
Francesco Ranzato
Keyword(s):  
Abstract Interpretation

scholarly journals Stable relations and abstract interpretation of higher-order programs

2020 ◽  
Vol 4 (ICFP) ◽  
pp. 1-30 ◽  
Author(s):  
Benoît Montagu ◽  
Thomas Jensen
Keyword(s):  
Abstract Interpretation ◽  
Higher Order

scholarly journals Sound and reusable components for abstract interpretation

2019 ◽  
Vol 3 (OOPSLA) ◽  
pp. 1-28 ◽  
Author(s):  
Sven Keidel ◽  
Sebastian Erdweg
Keyword(s):  
Abstract Interpretation ◽  
Reusable Components

A Survey of Parametric Static Analysis

2021 ◽  
Vol 54 (7) ◽  
pp. 1-37
Author(s):  
Jihyeok Park ◽  
Hongki Lee ◽  
Sukyoung Ryu
Keyword(s):  
Recent Work ◽  
Static Analysis ◽  
Abstract Interpretation ◽  
Black Box ◽  
Parameter Selection ◽  
Survey Analysis ◽  
Future Directions ◽  
Analysis Techniques ◽  
Analysis Quality

Understanding program behaviors is important to verify program properties or to optimize programs. Static analysis is a widely used technique to approximate program behaviors via abstract interpretation. To evaluate the quality of static analysis, researchers have used three metrics: performance, precision, and soundness. The static analysis quality depends on the analysis techniques used, but the best combination of such techniques may be different for different programs. To find the best combination of analysis techniques for specific programs, recent work has proposed parametric static analysis . It considers static analysis as black-box parameterized by analysis parameters , which are techniques that may be configured without analysis details. We formally define the parametric static analysis, and we survey analysis parameters and their parameter selection in the literature. We also discuss open challenges and future directions of the parametric static analysis.

Software safety analysis of function block diagrams using fault trees

2005 ◽  
Vol 88 (3) ◽  
pp. 215-228 ◽  
Author(s):  
Younju Oh ◽  
Junbeom Yoo ◽  
Sungdeok Cha ◽  
Han Seong Son
Keyword(s):  
Safety Analysis ◽  
Software Safety ◽  
Fault Trees ◽  
Function Block ◽  
Analysis Of Function
Sign in / Sign up

Export Citation Format

Share Document