International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
Talk
Validating ETCS Data with the B Mathematical Language: An Industrial Pipeline and a Blueprint for LLM Integration: Integrating LLMs, MCP Servers, and B Formal Models