Mgr. Jan Tušil

Department of Computer Science

E‑mail:

Basic information

Type

Total number of publications: 3

2024

Minuska: Towards a Formally Verified Programming Language Framework

TUŠIL Jan OBDRŽÁLEK Jan

Article in Proceedings

22nd International Conference on Software Engineering and Formal Methods, year: 2024

2023

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

TUŠIL Jan SERBANUTA Traian OBDRŽÁLEK Jan

Article in Proceedings

Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2023
Interactive Matching Logic Proofs in Coq

TUŠIL Jan PÉTER Bereczky DÁNIEL Horpácsi

Article in Proceedings

Theoretical Aspects of Computing (ICTAC 2023), year: 2023