Výpis publikací

TUŠIL, Jan a Jan OBDRŽÁLEK. Minuska: Towards a Formally Verified Programming Language Framework. In Alexandre Madeira and Alexander Knapp. 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024. Aveiro, Portugal: Springer Nature Switzerland AG, 2025, s. 200-214. ISBN 978-3-031-77381-5. Dostupné z: https://doi.org/10.1007/978-3-031-77382-2_12.

TUŠIL, Jan; Traian SERBANUTA a Jan OBDRŽÁLEK. Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. Online. In Ruzica Piskac and Andrei Voronkov. Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair, 2023, s. 405-456. ISSN 2398-7340. Dostupné z: https://doi.org/10.29007/1874.

TUŠIL, Jan; Bereczky PÉTER a Horpácsi DÁNIEL. Interactive Matching Logic Proofs in Coq. Online. In Erika Abraham, Clemens Dubslaff, and Lizeth Tarifa. Theoretical Aspects of Computing (ICTAC 2023). Lima, Peru: Springer Nature Switzerland AG, 2023, s. 139-157. ISBN 978-3-031-47962-5. Dostupné z: https://doi.org/10.1007/978-3-031-47963-2_10.