4 ms·
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. Wa
by celurian92 4y ago
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 4y agohttps://en.wikipedia.org/wiki/Formal_verification https://en.wikipedia.org/wiki/Formal_verification AdaCore SPARK Introduction: https://learn.adacore.com/courses/intro-to-spark/index.html https://learn.adacore.com/courses/intro-to-spark/index.html https://www.synopsys.com/verification/static-and-formal-verification/formal-book.html https://www.synopsys.com/verification/static-and-formal-veri...