Jan Tusil

According to our database, Jan Tusil authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Minuska: Towards a Formally Verified Programming Language Framework.

Jan Tusil, Jan Obdrzálek

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2023

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

Jan Tusil, Traian Serbanuta, Jan Obdrzálek

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Interactive Matching Logic Proofs in Coq.

Jan Tusil, Péter Bereczky, Dániel Horpácsi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Mechanizing Matching Logic in Coq.

Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil

Proceedings of the Sixth Working Formal Methods Symposium, 2022