%0 Journal Article %1 journals/corr/abs-2403-00087 %A Cimatti, Alessandro %A Griggio, Alberto %A Redondi, Gianluca %D 2024 %J CoRR %K dblp %T Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. %U http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-00087 %V abs/2403.00087

@article{journals/corr/abs-2403-00087, added-at = {2024-04-02T00:00:00.000+0200}, author = {Cimatti, Alessandro and Griggio, Alberto and Redondi, Gianluca}, biburl = {https://www.bibsonomy.org/bibtex/27f55e3476673a7e023e691cb07d01bf5/dblp}, ee = {https://doi.org/10.48550/arXiv.2403.00087}, interhash = {feab99c4b265b633fce4cad47458c2f6}, intrahash = {7f55e3476673a7e023e691cb07d01bf5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:13:31.000+0200}, title = {Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-00087}, volume = {abs/2403.00087}, year = 2024 }