Return to Article Details Using simplex method in verifying software safety Download ##common.downloadPdf##