Introduction to formal techniques used for system specifications and verifications: temporal logic, set theory, proofs, and model checking. TLA+ (Temporal Logic of Actions) specifications. Safety and ...

Depending on exactly where your computer sits, it may be easy to upgrade, or you might want to consider starting a new build entirely. This'll depend largely on how out of date any specs are ...