Technology exists that allows us automatically to check whether our specifications are satisfied, whether that program does what it should do.
પ્રાયોગિક અવલોકનો, વસ્તુઓ જે આપણે પ્રયોગશાળામાં માપીએ છીએ, તે સ્પષ્ટીકરણને અનુરૂપ છે જૈવિકકાર્યક્રમ શુંકરવું તેથી આપણે ફક્ત એક રસ્તો ની જરૂર હતી