ePrints

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

Lookup NU author(s): Dr Jan TušilORCiD

Downloads

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).

Publication metadata

Author(s): Tusil J, Serbanuta T, Obdrzalek J

Editor(s): Piskac, R; Voronkov, A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2023)

Year of Conference: 2023

Pages: 405-456

Online publication date: 03/06/2023

Acceptance date: 29/04/2023

Date deposited: 22/09/2025

ISSN: 2398-7340

Publisher: EasyChair

URL: https://doi.org/10.29007/1874

DOI: 10.29007/1874

Series Title: EPiC Series in Computing

Share