Telecharger Cours

Proceedings of VVSS2005 - verification and validation of software ...

{?n} where ? = ?1 and for all i ? 1, then ?i+1 = SP (?i). Each execution {?n} of the program. P determines a path in the control flow graph Gp. This path is ...



Download