Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;G. Kamhi,1997
2. Kamhi, G., Fix, L.: Adaptive variable reordering for symbolic model checking. In: IEEE/ACM International Conference on Computer Aided Design (ICCAD) (1998)
3. Lecture Notes in Computer Science;G. Kamhi,1998
4. Lecture Notes in Computer Science;S. Mador-Haim,1998
5. Fraer, R., Kamhi, G., Fix, L., Vardi, M.: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. In: SMC, 1999 (CAV 1999 workshop) (1999)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tutorial: How to Use Model Checking to Analyze Circuits at the Transistor Level;Proceedings of the 2023 International Conference on Hardware/Software Codesign and System Synthesis;2023-09-17
2. A manifesto for applicable formal methods;Software and Systems Modeling;2023-08-18
3. Specification Sketching for Linear Temporal Logic;Automated Technology for Verification and Analysis;2023
4. Formal Methods;Texts in Theoretical Computer Science. An EATCS Series;2022
5. Verilog HDL and its ancestors and descendants;Proceedings of the ACM on Programming Languages;2020-06-12