Publisher's Synopsis
Contains 45 regular papers, eight practical experience reports (in sessions on architecture and assessment), and four software demonstrations (two relative to systems and two related to tools) from FTCS-25. The regular papers are organized into 16 sessions: system architecture, synthesis, interactive consistency, validation and test, distributed al