Login / Signup

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

Arturo AmendolaAnna BecchiRoberto CavadaAlessandro CimattiAlberto GriggioGiuseppe ScaglioneAngelo SusiAlberto TacchellaMatteo Tessi
Published in: ISoLA (3) (2020)
Keyphrases
  • design process
  • genetic algorithm
  • decision making
  • model checking
  • optimal design
  • design space
  • functional verification
  • design principles
  • design tools
  • signature verification
  • formal verification