Jan Tusil

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Classical Logic

Top Venues

Publications

Jan Tusil, Traian Serbanuta, Jan Obdrzálek
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. LPAR (2023)
Jan Tusil, Péter Bereczky, Dániel Horpácsi
Interactive Matching Logic Proofs in Coq. ICTAC (2023)
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil
Mechanizing Matching Logic in Coq. CoRR (2022)