Jan Tusil, Traian Serbanuta, Jan Obdrzálek. Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. In Ruzica Piskac, Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Volume 94 of EPiC Series in Computing, pages 405-456, EasyChair, 2023. [doi]
@inproceedings{TusilSO23,
title = {Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties},
author = {Jan Tusil and Traian Serbanuta and Jan Obdrzálek},
year = {2023},
doi = {10.29007/1874},
url = {https://doi.org/10.29007/1874},
researchr = {https://researchr.org/publication/TusilSO23},
cites = {0},
citedby = {0},
pages = {405-456},
booktitle = {LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023},
editor = {Ruzica Piskac and Andrei Voronkov},
volume = {94},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}