Conference Proceedings
A tool for intersecting context-free grammars and its applications
G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey, K Havelund (ed.), G Holzmann (ed.), R Joshi (ed.)
Lecture Notes in Computer Science | Springer International Publishing | Published : 2015
Abstract
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.