Partial validation of a design specification with respect to requirements

The paper presents a method for partial validation of system design specifications. In the method presented, the requirements are given as a set of views described with MSC and referred to as a set of MSC_R. The design specification can be given in any formal language. Our method allows for the verification, against each MSC_R , of each simulation of the design specification collected into a MSC and referred to as MSC_T in the paper. For the verification of MSC_T against MSCR, we introduce a conformance relation and an algorithm to verify this relation. Our method is illustrated with an example, the INRES protocol