https://123dok.net/document/zx5o60mn-prover-an-smt-based-approach-for-process-verification.html