NASA Technical Reports Server NTRS 20150022106: A Tool for Intersecting Context-Free Grammars and Its ApplicationsReport as inadecuate



 NASA Technical Reports Server NTRS 20150022106: A Tool for Intersecting Context-Free Grammars and Its Applications


NASA Technical Reports Server NTRS 20150022106: A Tool for Intersecting Context-Free Grammars and Its Applications - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: NASA Technical Reports Server NTRS 20150022106: 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.



Author: NASA Technical Reports Server (NTRS)

Source: https://archive.org/







Related documents