Formal methods are mathematically rigorous techniques for the specification and verification of software and hardware (Wikipedia), often reliant on automated theorem proving.
mCRL2: Formal specification language and associated toolset. Meng Weng Wong rec
kelvich/tlaplus_jupyter: Jupyter kernel for TLA⁺