หลังจากอ่านคำถามของคุณวิธีเดียวที่ฉันสามารถเห็นและมีความรู้เพียงพอที่จะเชื่อมโยงหัวข้อเข้าด้วยกันคือการให้บทความระดับสูงที่เจาะลึกลงไปจากการตรวจสอบซอฟต์แวร์ที่ลงท้ายด้วยการพยายามรวมการตรวจสอบแบบจำลองและทฤษฎีพิสูจน์ หวังว่าความคิดเห็นของฉันทำอย่างนั้น:
ดูการตรวจสอบซอฟท์แวร์จากนั้นตรวจสอบอย่างเป็นทางการจากนั้นตรวจสอบโมเดลและตรวจสอบซอฟต์แวร์อย่างเป็นทางการ: ตรวจสอบโมเดลและพิสูจน์ทฤษฎีบท
เดฟให้คำตอบที่ดีซึ่งฉันไม่สามารถทำสิ่งที่ยุติธรรมกว่าในส่วนแรกของคำถามได้มากกว่าที่เดฟเคยทำมาตั้งแต่ฉันยังใหม่กับสิ่งนี้
เนื่องจากนี่เป็นคำถามแรกของคุณที่ไซต์SEเหตุผลที่ฉันไม่ได้ให้คำตอบ แต่ความคิดเห็นเป็นเพราะที่นี่คำตอบไม่ได้เป็นเพียงชุดลิงก์ แต่ต้องให้คำตอบเป็นลายลักษณ์อักษรและใช้ลิงก์เพื่อสนับสนุนคำตอบ ดังนั้นความคิดเห็นแทนคำตอบ
เกี่ยวกับ:
พอยน์เตอร์ใด ๆ สำหรับหนังสือหรือบทความสำหรับผู้เริ่มต้นในเรื่องนี้ชื่นชมมาก
หนังสือที่ฉันอยากจะแนะนำและใช้คือ:
ในปัจจุบันฉันไม่สามารถขยายทฤษฎีการพิสูจน์ได้มากขึ้นเพราะฉันยังคงเรียนรู้ข้อดีข้อเสียและความแตกต่างของแต่ละคน แต่สิ่งที่ฉันมุ่งเน้นคือ
หมายเหตุ: ฉันใช้ worldcat.org เพื่ออ้างอิงหนังสือ แต่คุณสามารถตรวจสอบได้โดยใช้คุณสมบัติการมองของ Amazon