Research
LMF - the new IT laboratory on campus!
… Research The “Laboratoire méthodes formelles” (Formal methods laboratory) (LMF - Université Paris-Saclay, ENS … determinability of results for the verification of infinite transition systems. In 2019, Jean-Christophe Filliâtre (who … determinability of results for the verification of infinite transition systems. In 2019, Jean-Christophe Filliâtre (who …Published on: