ReLaX is a sequel and an amplification of the earlier LIA INFORMEL (Indo-French Formal Methods Lab, 2012-2016), a joint international lab between the same partners, dedicated to research in formal methods.