BmcMT: Bounded Model Checking of TLA+ Specifications with SMT (bibtex)
by Igor Konnov, Jure Kukovec, Thanh-Hai Tran
Reference:
BmcMT: Bounded Model Checking of TLA+ Specifications with SMTIgor Konnov, Jure Kukovec, Thanh-Hai Tran2018, Presentation at the TLA+ Community Meeting, Oxford, UK, July.
Bibtex Entry:
@misc{KKT18:TLA18,
    author  = {Igor Konnov and
               Jure Kukovec and
               Thanh{-}Hai Tran},
    title   = { BmcMT: Bounded Model Checking of TLA+ Specifications with SMT },
    howpublished = {Presentation at the TLA+ Community Meeting,
        Oxford, UK, July},
    year    = {2018},
    url = { http://forsyte.at/wp-content/uploads/kkt18-bmcmt.pdf }
}
Powered by bibtexbrowser