Keyword:k-safety

Publications
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties Jan Tušil, Traian Serbanuta and Jan Obdrzalek In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning