Old Web
English
Sign In
Acemap
>
authorDetail
>
Anooj Chavda
Anooj Chavda
Spectrum analyzer
Real-time computing
Theoretical computer science
False positive paradox
Abstraction
1
Papers
8
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking
2015
FM | Formal Methods
Bharti Chimdyalwar
Priyanka Darke
Anooj Chavda
Sagar Vaghani
Avriti Chauhan
Show All
Source
Cite
Save
Citations (8)
1