Return to Article Details A formal model for the functional test of software to achieve maturity integrated level 2