Further, they often provide advanced features, such as pre- and post-conditions which are hard to program by hand.
علاوة على ذلك، فإنها غالباً ما توفر ميزات متقدمة،مثلما قبل وبعد الشروط التي يصعب برمجة باليد.