学术期刊
在线客服：
对外合作：
联系：400-6379-560
feedback@hanspub.org
客服号

人工客服，稿件咨询
公众号

科技成果分享
Computer Aided Verification

Lazy Abstraction with Interpolations

作者:
KL Mcmillan

关键词:
CiteSeerX；K. L. Mcmillan

摘要:
Abstract. We describe a model checker for infinite-state sequential programs, based on Craig interpolation and the lazy abstraction paradigm. On device driver benchmarks, we observe a speedup of up to two orders of magnitude relative to a similar tool using predicate abstraction. 1

在线下载

相关文章:
在线客服：
对外合作：
联系方式：400-6379-560
投诉建议：feedback@hanspub.org
客服号

人工客服，优惠资讯，稿件咨询
公众号

科技前沿与学术知识分享