Login / Signup

Validation of Railway Interlocking Systems by Formal Verification, A Case Study.

Andrea BonacchiAlessandro FantechiStefano BacheriniMatteo TempestiniLeonardo Cipriani
Published in: SEFM Workshops (2013)
Keyphrases
  • formal verification
  • knowledge based systems
  • building blocks
  • model checking
  • management system
  • automated verification
  • case study
  • dynamic programming
  • computer systems