Login / Signup

A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway.

Christophe LimbréeCharles Pecheur
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
  • formal verification
  • theoretical framework
  • probabilistic model
  • main contribution
  • neural network
  • lightweight
  • traffic management
  • symbolic model checking