Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jan Tusil' in GoogleThis author has not been identified. Look up 'Traian Serbanuta' in GoogleThis author has not been identified. Look up 'Jan Obdrzálek' in Google

runs on WebDSL