전남대학교 중앙도서관

Template-Based Verification of Array-Manipulating Programs

전자책

issue: Taming the Infinities of Concurrency : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. 14660:206-224
Author: Malík, Viktor^Aff10
Schrammel, Peter^{Aff11, Aff12}
Vojnar, Tomáš^Aff10
DB Label: Database : Springer Nature eBooks

2LS for Program Analysis

보고서

Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects

회의자료

issue: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2021 14th IEEE Conference on. :329-339 Apr, 2021
Author: Malik, Viktor
Vojnar, Tomas
DB Label: Database : IEEE Xplore Digital Library

2LS: Arrays and Loop Unwinding : (Competition Contribution)

전자책

issue: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II. 13994:529-534
Author: Malík, Viktor^Aff11
Nečas, František^Aff11
Schrammel, Peter^{Aff9, Aff10}
Vojnar, Tomáš^Aff11
DB Label: Database : Springer Nature eBooks

Template-Based Verification of Heap-Manipulating Programs

회의자료

issue: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018
Author: Malik, Viktor
Hruska, Martin
Schrammel, Peter
Vojnar, Tomas
DB Label: Database : IEEE Xplore Digital Library

Applying Custom Patterns in Semantic Equality Analysis

전자책

issue: Networked Systems : 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings. 13464:265-282
Author: Malík, Viktor^{Aff9, Aff10}
Šilling, Petr^Aff9
Vojnar, Tomáš^Aff9
DB Label: Database : Springer Nature eBooks

2LS: Heap Analysis and Memory Safety (Competition Contribution)

보고서

2LS: Heap Analysis and Memory Safety : (Competition Contribution)

전자책

issue: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II. 12079:368-372
Author: Malík, Viktor^Aff12
Schrammel, Peter^{Aff10, Aff11}
Vojnar, Tomáš^Aff12
DB Label: Database : Springer Nature eBooks

2LS: Memory Safety and Non-termination : (Competition Contribution)

전자책

issue: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. 10806:417-421
Author: Malík, Viktor^{Aff15, Aff17}
Martiček, Štefan^{Aff15, Aff17}
Schrammel, Peter^{Aff15, Aff16}
Srivas, Mandayam^Aff18
Vojnar, Tomáš^Aff17
Wahlang, Johanan^Aff18
DB Label: Database : Springer Nature eBooks