Project detail

Advanced Analysis and Verification for Advanced Software

Duration: 01.01.2023 — 31.12.2025

Funding resources

Czech Science Foundation - Standardní projekty

- part funder (2023-01-01 - 2025-12-31)

On the project

Dodat: Pokročilá analýza a verifikace pro pokročilý software

Description in English
TBD: Advanced Analysis and Verification for Advanced Software

Keywords
počítačové vědy, informatika, verifikace

Key words in English
computer science, information science, verification

Mark

GA23-06506S

Default language

Czech

People responsible

Vojnar Tomáš, prof. Ing., Ph.D. - principal person responsible

Units

Department of Intelligent Systems
- beneficiary (2022-03-29 - 2025-12-31)
Faculty of Informatics MU
- co-beneficiary (2022-03-29 - 2025-12-31)

Results

HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca: 2023. p. 1-32.
Detail

MALÍK, V.; NEČAS, F.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Arrays and Loop Unwinding (Competition Contribution). In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Paris: Springer International Publishing, 2023. p. 529-534. ISBN: 978-3-031-30819-2.
Detail

DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. p. 0-0.
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting. In Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. p. 392-412. ISSN: 0302-9743.
Detail

KOZÁK, D.; JOVANOVIC, V.; STANCU, C.; VOJNAR, T.; WIMMER, C. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023. p. 129-142. ISBN: 979-8-4007-0380-5.
Detail

MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: PredatorHP v3.1415; Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (software)
Detail

KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)
Detail

Responsibility: Vojnar Tomáš, prof. Ing., Ph.D.