Challenges in Model Checking of Fault-tolerant Designs in TLA+ (bibtex)
by Igor Konnov, Helmut Veith, Josef Widder
Reference:
Challenges in Model Checking of Fault-tolerant Designs in TLA+Igor Konnov, Helmut Veith, Josef Widder2015, Presentation at the 8th International Workshop on Exploiting Concurrency Efficiently and Correctly, San Francisco, CA, USA, July.
Bibtex Entry:
@misc{KVW15:EC2,
    author  = {Konnov, Igor and Veith, Helmut and Widder, Josef},
    title   = {Challenges in Model Checking of Fault-tolerant Designs in TLA+},
    howpublished = {Presentation at the 8th International
        Workshop on Exploiting Concurrency Efficiently and Correctly,
        San Francisco, CA, USA, July},
    year    = {2015},
    url = { http://multicore.doc.ic.ac.uk/events/ec2/KonnovVeithWidder.pdf }
}
Powered by bibtexbrowser