We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...