Author:
Aagaard Mark D.,Jones Robert B.,Seger Carl-Johan H.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying x86 instruction implementations;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
2. Exploring structural symmetry automatically in symbolic trajectory evaluation;Formal Methods in System Design;2011-05-26
3. A monadic approach to automated reasoning for Bluespec SystemVerilog;Innovations in Systems and Software Engineering;2011-03-18
4. An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs;Journal of Computer Science and Technology;2009-01
5. On Locally Checkable Properties;Logic for Programming, Artificial Intelligence, and Reasoning;2006