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

Image document

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-04299295 v1