Mon parcours
Mes projets
Publications

Publications

Here list of publications

September 1, 2026 · 1 min · 11 words · lor-b

Publications

2024 - Validating Traces of Distributed Programs Against TLA+ Specifications

TLA+
Formal Methods
Trace Validation

© 2026 CV · Powered by Hugo & PaperMod