Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...