Automatic Verification of TLA + Proof Obligations with SMT Solvers
| Title | Automatic Verification of TLA + Proof Obligations with SMT Solvers |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Merz, S, Vanzetto, H |
| Editor | Bjørner, N, Voronkov, A |
| Conference Name | 18th Intl. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18) |
| Publisher | Springer |
| Conference Location | Mérida, Venezuela |
Work Package:
WP2
