Author:
Burch J.R.,Clarke E.M.,Long D.E.,McMillan K.L.,Dill D.L.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
248 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pensieve: Microarchitectural Modeling for Security Evaluation;Proceedings of the 50th Annual International Symposium on Computer Architecture;2023-06-17
2. EDDY;Proceedings of the 28th Asia and South Pacific Design Automation Conference;2023-01-16
3. Equivalence Checking for Flow-Based Computing;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10
4. Generalized 3-Valued Belief States in Conformant Planning;Lecture Notes in Computer Science;2022
5. Generating and Employing Witness Automata for ACTLW Formulae;IEEE Access;2022