what resources can you suggest to learn formal verification and implement it to ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		celurian92 on Dec 22, 2022 \| parent \| context \| favorite \| on: Welcome to Comprehensive Rust what resources can you suggest to learn formal verification and implement it to make high integrity fault tolerant services? I am quite intrigued by AdaCore. Want to try it out. I dont know much about Formal Verification.

thesuperbigfrog on Dec 22, 2022 [–]

https://en.wikipedia.org/wiki/Formal_verification

AdaCore SPARK Introduction: https://learn.adacore.com/courses/intro-to-spark/index.html

https://www.synopsys.com/verification/static-and-formal-veri...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact