Validating B, Z and TLA + Using ProB and Kodkod.

Daniel Plagge, Michael Leuschel

Browse the full FM paper archive.