A framework to formally verify conformance of a software process to a software method.

Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais

Browse the full SAC paper archive.