We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...