Author:
Manolios Panagiotis,Srinivasan Sudarshan K.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. ACL2s Systems Programming;Electronic Proceedings in Theoretical Computer Science;2022-05-24
2. Smtlink 2.0;Electronic Proceedings in Theoretical Computer Science;2018-10-29
3. Extending ACL2 with SMT Solvers;Electronic Proceedings in Theoretical Computer Science;2015-09-18
4. Skipping Refinement;Computer Aided Verification;2015
5. Refinement-based verification of elastic pipelined systems;IET Computers & Digital Techniques;2012