M. Blicha, A. Hyvärinen, M. Marescotti, N. Sharygina:
A Cooperative Parallelization Approach for Property-Directed k-Induction, in Verification, Model Checking, and Abstract Interpretation, pp. 270-292, 2020
ISBN: 978-3-030-39322-9, DOI: 10.1007/978-3-030-39322-9_13
A Cooperative Parallelization Approach for Property-Directed k-Induction, in Verification, Model Checking, and Abstract Interpretation, pp. 270-292, 2020
ISBN: 978-3-030-39322-9, DOI: 10.1007/978-3-030-39322-9_13
V. Dort, O. Lhoták:
Reference Mutability for DOT, in Proceedings of 34th European Conference on Object-Oriented Programming, 2020
ISBN: 978-3-95977-154-2, DOI: 10.4230/LIPIcs.ECOOP.2020.18
Reference Mutability for DOT, in Proceedings of 34th European Conference on Object-Oriented Programming, 2020
ISBN: 978-3-95977-154-2, DOI: 10.4230/LIPIcs.ECOOP.2020.18
V. Dort, O. Lhoták:
Reference mutability for DOT – roDOT definitions and proofs, Technical report no. D3S-TR-2020-01, Department of Distributed and Dependable Systems, Charles University, 2020
Reference mutability for DOT – roDOT definitions and proofs, Technical report no. D3S-TR-2020-01, Department of Distributed and Dependable Systems, Charles University, 2020
R. Husák, J. Kofroň, F. Zavoral:
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention, in Electronic Communications of the EASST 77(0), 2019
DOI: 10.14279/tuj.eceasst.77.1109
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention, in Electronic Communications of the EASST 77(0), 2019
DOI: 10.14279/tuj.eceasst.77.1109
P. Parízek:
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment, in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), pp. 228-245, 2019
DOI: 10.1007/978-3-030-31784-3_13
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment, in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), pp. 228-245, 2019
DOI: 10.1007/978-3-030-31784-3_13
P. Jančík, J. Kofroň, L. Alt, G. Fedyukovich, A. Hyvärinen, N. Sharygina:
Exploiting partial variable assignment in interpolation-based model checking, in Formal Methods in System Design 55(1), pp. 33-71, 2019
DOI: 10.1007/s10703-019-00342-z
Exploiting partial variable assignment in interpolation-based model checking, in Formal Methods in System Design 55(1), pp. 33-71, 2019
DOI: 10.1007/s10703-019-00342-z
P. Parízek, O. Lhoták:
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking, in International Journal on Software Tools for Technology Transfer 21(4), pp. 365-400, 2019
DOI: 10.1007/s10009-018-0484-7
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking, in International Journal on Software Tools for Technology Transfer 21(4), pp. 365-400, 2019
DOI: 10.1007/s10009-018-0484-7