Announcement_11

The research paper “Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications” (by P. Castro, L. Putruele, R. Degiovanni and N. Aguirre) has been accepted for publication at the 14th International Conference on Formal Methods in Software Engineering FormaliSE 2026.