Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties.

Jan Tusil, Traian Serbanuta, Jan Obdrzlek

Browse the full LPAR paper archive.