
Rosalie Defourné
Post-doctorante à l'IRIT, projet ForML
2
Documents
Domaines de recherche
Logique en informatique [cs.LO]
Théorie et langage formel [cs.FL]
Publications
Publications
|
Encoding TLA$^{+}$ Proof Obligations Safely for SMT9th International Conference on Rigorous State-Based Methods (ABZ 2023), May 2023, Nancy, France. pp.88-106, ⟨10.1007/978-3-031-33163-3_7⟩
Communication dans un congrès
hal-04299295
v1
|
|
Encoding TLA+’s Set Theory for Automated Theorem ProversComputer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0263⟩
Thèse
tel-04408971
v1
|
Chargement...
Chargement...