I don't think something that specific exists. There are a very large number of formal methods tools, each with different specialties / domains. For verificatio

I don't think something that specific exists. There are a very large number of formal methods tools, each with different specialties / domains. For verification with proof assistants, [Software Foundations](https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/) and [Concrete Semantics](http://concrete-semantics.org/ http://concrete-semantics.org/) are both solid. For verification via model checking, you can check out [Learn TLA+](https://learntla.com/ https://learntla.com/), and the more theoretical [Specifying Systems](https://lamport.azurewebsites.net/tla/book-02-08-08.pdf https://lamport.azurewebsites.net/tla/book-02-08-08.pdf). For more theory, check out [Formal Reasoning About Programs](http://adam.chlipala.net/frap/ http://adam.chlipala.net/frap/). And for general projects look at [F*](https://www.fstar-lang.org/ https://www.fstar-lang.org/) and [Dafny](https://dafny.org/ https://dafny.org/).