Return to Article Details Component-based tool for verifying applications using object-oriented patterns Download Download PDF