In this paper we, introduce a method combining system environment description and partial-order reduction for the verification of SDL systems. The aim of this work is to address the problem of the combinatorial explosion when verifying complex reactive systems modeled in' SDL. To this purpose we propose to apply partial-order methods on the OBP methodology [5] so that to, make the verification possible. The method presented in this paper has been applied ow two real avionics system.
展开▼