Mgr. Jan Tušil
Katedra teorie programování
| e‑mail: |
|
|---|
Publikace
Počet publikací: 3
2024
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, rok: 2024
2023
-
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2023
-
Interactive Matching Logic Proofs in Coq
Theoretical Aspects of Computing (ICTAC 2023), rok: 2023