Ensuring Correctness at the Application Level: a Software Framework Approach