O punere în aplicare parţială a sistemului, construit pentru a demonstra funcţiile selectate de sistem şi de proprietăţi, în special cele care îndeplinesc cerinţele non-funcţionale.