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
96 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets;IEEE Transactions on Reliability;2021-06
2. Verification by Gambling on Program Slices;Automated Technology for Verification and Analysis;2021
3. Abstraction of ‘C’ Program from Algorithm;Research in Intelligent and Computing in Engineering;2021
4. Accelerating all-SAT computation with short blocking clauses;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
5. Bounded Verification of State Machine Models;Proceedings of the 12th System Analysis and Modelling Conference;2020-10-19