A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs

2013 ◽  
Author(s):  
Mikhail Glukhikh ◽  
Mikhail Moiseev ◽  
Sergey Salishev
Keyword(s):  
Static Analysis ◽  
Analysis Approach

Android botnet detection using machine learning models based on a comprehensive static analysis approach

2021 ◽  
Vol 58 ◽  
pp. 102735
Author(s):  
Wadi’ Hijawi ◽  
Ja’far Alqatawna ◽  
Ala’ M. Al-Zoubi ◽  
Mohammad A. Hassonah ◽  
Hossam Faris
Keyword(s):  
Machine Learning ◽  
Static Analysis ◽  
Analysis Approach ◽  
Learning Models ◽  
Botnet Detection ◽  
Machine Learning Models

scholarly journals A Modular Static Analysis Approach to Affine Loop Invariants Detection

2010 ◽  
Vol 267 (1) ◽  
pp. 3-16 ◽  
Author(s):  
Corinne Ancourt ◽  
Fabien Coelho ◽  
François Irigoin
Keyword(s):  
Static Analysis ◽  
Analysis Approach
Sign in / Sign up

Export Citation Format

Share Document