Horatiu Cirstea
- Validating Traces of Distributed Programs Against TLA+ Specifications
2024/04/24 by Horatiu Cirstea, Markus A. Kuppe, Cirstea, Horatiu +5 · 4 citations
Computer Science · #Software System Performance and Reliability #Formal Methods in Verification #Software Testing and Debugging Techniques