Author:
Kumar Jayanand Asok,Ahmadyan Seyed Nematollah,Vasudevan Shobha
Funder
National Science Foundation
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Overview of SPIN in Software Model Checking;2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC);2021-10
2. Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification;Security and Communication Networks;2021-05-17
3. HFMV;Proceedings of the 55th Annual Design Automation Conference;2018-06-24
4. Automated Debugging of Arithmetic Circuits Using Incremental Gröbner Basis Reduction;2017 IEEE International Conference on Computer Design (ICCD);2017-11