Link bibtex
M. Blicha, J. Kofroň, O. Glitta:
Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution), in Tools and Algorithms for the Construction and Analysis of Systems, pp. 530-535, 2026
ISBN: 978-3-032-22749-2, DOI: 10.1007/978-3-032-22749-2_28
Link bibtex
R. Husák, J. Kofroň, F. Zavoral:
Combining Static Analysis Techniques for Program Comprehension Using Slicito, in 33rd International Conference on Program Comprehension (ICPC), 2025
DOI: 10.1109/ICPC66645.2025.00048
Link bibtex
M. Blicha, K. Britikov, N. Sharygina:
Golem: a flexible and efficient solver for constrained Horn clauses, in Formal Methods in System Design 67(2), pp. 143-160, 2025
DOI: 10.1007/s10703-025-00470-9
Link bibtex
F. Kliber, P. Parízek:
Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules, in 31st International Symposium on Model Checking Software (SPIN 2025), pp. 125-141, 2025
DOI: 10.1007/978-3-032-06847-7_7
Link bibtex
R. Otoni, M. Blicha, M. Rivera, P. Eugster, J. Kofroň, N. Sharygina:
Unsatisfiability Proofs for Horn Solving, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 67-87, 2025
ISBN: 978-3-031-90653-4, DOI: 10.1007/978-3-031-90653-4_4
Link bibtex
R. Otoni, M. Blicha, P. Eugster, N. Sharygina:
Validation of CHC Satisfiability with ATHENA, in Form. Asp. Comput. 37(4), 2025
DOI: 10.1145/3716505
Link bibtex
R. Otoni, M. Blicha, P. Eugster, N. Sharygina:
CHC Model Validation with Proof Guarantees, in iFM 2023, pp. 62-81, 2024
ISBN: 978-3-031-47705-8, DOI: 10.1007/978-3-031-47705-8_4
Link bibtex
C. Artho, P. Parízek, D. Qu, V. Galgali, P. Yi:
JPF: From 2003 to 2023, in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), pp. 3-22, 2024
DOI: 10.1007/978-3-031-57249-4_1
Link bibtex
V. Dort, Y. Li, O. Lhoták, P. Parízek:
Pure Methods for roDOT, in 38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 13:1-13:29, 2024
DOI: 10.4230/LIPICS.ECOOP.2024.13
bibtex
V. Dort, L. Yufeng, O. Lhoták, P. Parízek:
Pure methods for roDOT (an extended version), Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University, 2024
Link bibtex
K. Britikov, M. Blicha, N. Sharygina, G. Fedyukovich:
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction, in Formal Methods, pp. 558-576, 2024
ISBN: 978-3-031-71162-6, DOI: 10.1007/978-3-031-71162-6_29
Link bibtex
R. Husák, J. Kofroň, F. Zavoral:
Slicito: Using Computational Notebooks for Program Comprehension, in 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC), pp. 64-68, 2023
DOI: 10.1109/ICPC58990.2023.00019
Link bibtex
S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina:
SMT-based verification of program changes through summary repair, in Formal Methods in System Design, 2023
DOI: 10.1007/s10703-023-00423-0
Link bibtex
J. Jakubovic, J. Edwards, T. Petříček:
Technical Dimensions of Programming Systems, in The Art, Science, and Engineering of Programming 7(3), pp. 13:1-13:59, 2023
DOI: 10.22152/programming-journal.org/2023/7/13
Link bibtex
M. Blicha, K. Britikov, N. Sharygina:
The Golem Horn Solver, in Computer Aided Verification, pp. 209–223, 2023
ISBN: 978-3-031-37703-7, DOI: 10.1007/978-3-031-37703-7_10

Filter