Rosalie Defourné Post-doctorante à l'IRIT, projet ForML

Publications

Communication dans un congrès (1)

Encoding TLA$^{+}$ Proof Obligations Safely for SMT Rosalie Defourné 9th 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-04299295v1

Thèse (1)

Encoding TLA+’s Set Theory for Automated Theorem Provers Rosalie Defourné Computer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0263⟩ Thèse tel-04408971v1