อยากทราบว่าโปรแกรม open source มีการตรวจสอบก่อนไหมว่าโปรแกรมทำงานถูกต้องตามทฤษฎีรึไม่ครับ มีการaudit รึป่าว