works on
B language 1data validation 1formal verification 1large language models 1railway safety 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.SE2026

Validating ETCS Data with the B Mathematical Language: An Industrial Pipeline and a Blueprint for LLM Integration

Thierry Lecomte, Lecomte Thierry, Vincent Germain +1

The paper describes an industrial effort to use a large language model (Claude) to author and parse formal validation rules in the B mathematical language for safety‑critical railw…