Formal Methods

Publications

Publications 2024 - Validating Traces of Distributed Programs Against TLA+ Specifications

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