314 followers
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique - Springer https://t.co/7jD1qB0Rnv
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique - Springer https://t.co/7jD1qB0Rnv