TY  - RPRT
TI  - Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
AU  - Alessandro Cimatti
AU  - Alberto Griggio
AU  - Gianluca Redondi
PY  - 2024
UR  - https://arxiv.org/abs/2403.00087
ID  - 2403.00087
ER  -