A Tool for Intersecting Context-Free Grammars and Its Applications

[摘要] This paper describes a tool for intersecting context-free grammars. Since this problem is undecidable the tool follows a refinement-based approach and implements a novel refinement which is complete for regularly separable grammars. We show its effectiveness for safety verification of recursive multi-threaded programs.

[发布日期] 2015-06-30

[学科分类] 软件