Login / Signup

iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System.

Lokanna KadakolmathUmesh D. Ramu
Published in: Formal Aspects Comput. (2024)
Keyphrases
  • formal model
  • model checking
  • model checker
  • finite state machines
  • formal specification
  • formal verification
  • epistemic logic
  • temporal properties
  • verification method
  • process algebra