BMCMT: Bounded Model Checking of TLA+ Specifications with SMT
Authors: Igor Konnov, Jure Kukovec and Thanh Hai Tran
Paper Information
| Title: | BMCMT: Bounded Model Checking of TLA+ Specifications with SMT |
| Authors: | Igor Konnov, Jure Kukovec and Thanh Hai Tran |
| Proceedings: | TLA Papers |
| Editor: | Stephan Merz |
| Keywords: | |
| Abstract: | |
| Pages: | 2 |
| Paper: |  |