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

Deposit thumbnail

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