Author:
Darke Priyanka,Chimdyalwar Bharti,Chauhan Avriti,Venkatesh R.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01
2. Impactful research and tooling for program correctness;Communications of the ACM;2022-10-20
3. Survey of Approaches for Postprocessing of Static Analysis Alarms;ACM Computing Surveys;2022-02-03
4. Techniques for Efficient Automated Elimination of False Positives;2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM);2020-09
5. Statically relating program properties for efficient verification (short WIP paper);Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2018-06-19