Bibliografia

Principal

• Doron Peled ( 2011) Software Reliability Methods Software Reliability Methods,  Doron Peled, Springer, 2001
• Rustan Leino (2023) Program Proofs

Secundária

• Mordechai Ben-Ari ( 2008) Principles of the Spin Model Checker Principles of the Spin Model Checker. Mordechai Ben-Ari, Springer, 2008