Model checkers can also be used for test case generation.
कोन मापनाचे कोणतेही एकक डेक्लिनेशन मोजण्यासाठी वापरले जाऊ शकते.