Return to Article Details Verification of safety requirements for program code using data abstraction Download Download PDF