Automatic Verification of TLA + Proof Obligations with SMT Solvers.

Stephan Merz, Hernn Vanzetto

Browse the full LPAR paper archive.