Translating TLA + to B for Validation with ProB.

Dominik Hansen, Michael Leuschel

Browse the full IFM paper archive.