ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Session

Testing and AI support • Sunday, 25.10

Room: Room 3
TimeTopicAuthors
11:00Validating ETCS Data with the B Mathematical Language: An Industrial Pipeline and a Blueprint for LLM Integration: Integrating LLMs, MCP Servers, and B Formal Models
11:30Formal Verification and Testing of EULYNX Specifications
12:00Next generation AI-supported System Testing for Railway Control Systems