正式验证和软件安全性: 该存储库包含许多由我已故的研究指南Dr. Pramod Subramanyan共享的参考资料和文本。 他向我介绍了正式的验证和软件安全性。 愿他的灵魂安息。 该资料库包含许多Dr. Subhajit Roy ,这些都是我当前的Dr. Subhajit Roy共享的,我从中学到了很多东西,而且我想我仍在向他学习新知识。 正式方法是一组技术和方法论,可以帮助我们进行形式验证。 形式验证是定义问题或模型的具体/抽象概述,然后回答有关该模型的属性的一些问题的方法。 我们试图证明某些断言并检查其有效性。 例如。 给定程序确实会发生某些变量取负值的情况。 模型在执行时是否访