Posts tagged ICSOFT

TLA-Prover Paper Accepted to ICSOFT 2026

• 05 June 2026
Author: Arslan Bisharat
Language: English
Category: Research Update
Tags: Formal Methods TLA+ LLMs Publication ICSOFT

We are pleased to announce that our latest research paper, “TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation” (Paper #131), has been accepted for publication at ICSOFT 2026 (International Conference on Software Technologies) in Porto, Portugal.

Read more ...

---