APALACHE BmcMT (development version, 2018. ,
Extracting symbolic transitions from TLA + specifications, ABZ 2018, 6th International ABZ Conference ASM, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01871131
Encoding TLA + into many-sorted first-order logic, ABZ, pp.54-69, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01244627