Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tuning SAT solvers for LTL Model Checking;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
2. A Bounded Semantics for Improving the Efficiency of Bounded Model Checking;2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS);2022-03
3. Scalable Concolic Testing of RTL Models;IEEE Transactions on Computers;2021-07-01
4. Model checking safety and liveness via k-induction and witness refinement with constraint generation;Science of Computer Programming;2020-12
5. Partial Order Reduction for Deep Bug Finding in Synchronous Hardware;Tools and Algorithms for the Construction and Analysis of Systems;2020