Author:
Clarke Edmund,Kroening Daniel,Sharygina Natasha,Yorav Karen
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
100 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases;Lecture Notes in Computer Science;2024-09-11
2. Evaluation of Programming in C using WSM Method;REST Journal on Emerging trends in Modelling and Manufacturing;2024-06-25
3. Simplification Method of CPN Model Based on Data Abstraction;2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD);2024-05-08
4. SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets;IEEE Transactions on Reliability;2021-06
5. Chapter 20. Software Verification;Frontiers in Artificial Intelligence and Applications;2021-02-02