Project Details
Pokročilá analýza a verifikace pro pokročilý software
Project Period: 1. 1. 2023 – 31. 12. 2025
Project Type: grant
Code: GA23-06506S
Agency: Czech Science Foundation
Program: Standardní projekty
computer science, information science, verification
TBD: Advanced Analysis and Verification for Advanced Software
Kofroň Jan, doc. RNDr., Ph.D.
Strejček Jan, prof. RNDr., Ph.D. (FIT)
2024
- DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024.
p. 0-0. Detail
2023
- 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 - 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 - 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