56
J. ˇ
Svejda et al.
References
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools.
Addison-Wesley series in computer science / World student series edition, AddisonWesley (1986)
2. Beyer, D.: Competition on software verification - (SV-COMP). In: TACAS. Lecture
Notes in Computer Science, vol. 7214, pp. 504–524. Springer (2012)
3. Beyer, D.: Software verification and verifiable witnesses - (report on SV-COMP
2015). In: TACAS. Lecture Notes in Computer Science, vol. 9035, pp. 401–416.
Springer (2015)
4. Beyer, D.: Reliable and reproducible competition results with benchexec and witnesses (report on SV-COMP 2016). In: TACAS. Lecture Notes in Computer Science, vol. 9636, pp. 887–904. Springer (2016)
5. Beyer, D.: Software verification with validation of results - (report on SV-COMP
2017). In: TACAS (2). Lecture Notes in Computer Science, vol. 10206, pp. 331–349
(2017)
6. Beyer, D.: Automatic verification of C and Java programs: SV-COMP 2019. In:
TACAS (3). Lecture Notes in Computer Science, vol. 11429, pp. 133–155. Springer
(2019)
7. Beyer, D.: Verification Witnesses from SV-COMP 2019 Verification Tools (Feb
2019). https://doi.org/10.5281/zenodo.2559175
8. Beyer, D.: Results of the 9th International Competition on Software Verification
(SV-COMP 2020) (Jan 2020). https://doi.org/10.5281/zenodo.3630205
9. Beyer, D.: Verification Witnesses from SV-COMP 2020 Verification Tools (Jan
2020). https://doi.org/10.5281/zenodo.3630188
10. Beyer, D., Dangl, M.: Verification-aided debugging: An interactive web-service
for exploring error witnesses. In: CAV (2). Lecture Notes in Computer Science,
vol. 9780, pp. 502–509. Springer (2016)
11. Beyer, D., Dangl, M., Dietsch, D., Heizmann, M., Stahlbauer, A.: Witness validation and stepwise testification across software verifiers. In: ESEC/SIGSOFT FSE.
pp. 721–733. ACM (2015)
12. Beyer, D., Dangl, M., Lemberger, T., Tautschnig, M.: Tests from witnesses -
execution-based validation of verification results. In: TAP. Lecture Notes in Computer Science, vol. 10889, pp. 3–23. Springer (2018)
13. Beyer, D., Henzinger, T.A., Th´ eoduloz, G.: Configurable software verification: Concretizing the convergence of model checking and program analysis. In: CAV. Lecture Notes in Computer Science, vol. 4590, pp. 504–518. Springer (2007)
14. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustableblock encoding. In: FMCAD. pp. 189–197. IEEE (2010)
15. Beyer, D., L¨ owe, S.: Explicit-state software model checking based on CEGAR and
interpolation. In: FASE. Lecture Notes in Computer Science, vol. 7793, pp. 146–
162. Springer (2013)
16. Clarke, E.M.: The birth of model checking. In: 25 Years of Model Checking. Lecture
Notes in Computer Science, vol. 5000, pp. 1–26. Springer (2008)
17. Heizmann, M., Christ, J., Dietsch, D., Ermis, E., Hoenicke, J., Lindenmann, M.,
Nutz, A., Schilling, C., Podelski, A.: Ultimate automizer with SMTInterpol - (competition contribution). In: TACAS. Lecture Notes in Computer Science, vol. 7795,
pp. 641–643. Springer (2013)
18. Heizmann, M., Dietsch, D., Leike, J., Musa, B., Podelski, A.: Ultimate automizer
with array interpolation - (competition contribution). In: TACAS. Lecture Notes
in Computer Science, vol. 9035, pp. 455–457. Springer (2015)
J. ˇ
Svejda et al.
References
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools.
Addison-Wesley series in computer science / World student series edition, AddisonWesley (1986)
2. Beyer, D.: Competition on software verification - (SV-COMP). In: TACAS. Lecture
Notes in Computer Science, vol. 7214, pp. 504–524. Springer (2012)
3. Beyer, D.: Software verification and verifiable witnesses - (report on SV-COMP
2015). In: TACAS. Lecture Notes in Computer Science, vol. 9035, pp. 401–416.
Springer (2015)
4. Beyer, D.: Reliable and reproducible competition results with benchexec and witnesses (report on SV-COMP 2016). In: TACAS. Lecture Notes in Computer Science, vol. 9636, pp. 887–904. Springer (2016)
5. Beyer, D.: Software verification with validation of results - (report on SV-COMP
2017). In: TACAS (2). Lecture Notes in Computer Science, vol. 10206, pp. 331–349
(2017)
6. Beyer, D.: Automatic verification of C and Java programs: SV-COMP 2019. In:
TACAS (3). Lecture Notes in Computer Science, vol. 11429, pp. 133–155. Springer
(2019)
7. Beyer, D.: Verification Witnesses from SV-COMP 2019 Verification Tools (Feb
2019). https://doi.org/10.5281/zenodo.2559175
8. Beyer, D.: Results of the 9th International Competition on Software Verification
(SV-COMP 2020) (Jan 2020). https://doi.org/10.5281/zenodo.3630205
9. Beyer, D.: Verification Witnesses from SV-COMP 2020 Verification Tools (Jan
2020). https://doi.org/10.5281/zenodo.3630188
10. Beyer, D., Dangl, M.: Verification-aided debugging: An interactive web-service
for exploring error witnesses. In: CAV (2). Lecture Notes in Computer Science,
vol. 9780, pp. 502–509. Springer (2016)
11. Beyer, D., Dangl, M., Dietsch, D., Heizmann, M., Stahlbauer, A.: Witness validation and stepwise testification across software verifiers. In: ESEC/SIGSOFT FSE.
pp. 721–733. ACM (2015)
12. Beyer, D., Dangl, M., Lemberger, T., Tautschnig, M.: Tests from witnesses -
execution-based validation of verification results. In: TAP. Lecture Notes in Computer Science, vol. 10889, pp. 3–23. Springer (2018)
13. Beyer, D., Henzinger, T.A., Th´ eoduloz, G.: Configurable software verification: Concretizing the convergence of model checking and program analysis. In: CAV. Lecture Notes in Computer Science, vol. 4590, pp. 504–518. Springer (2007)
14. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustableblock encoding. In: FMCAD. pp. 189–197. IEEE (2010)
15. Beyer, D., L¨ owe, S.: Explicit-state software model checking based on CEGAR and
interpolation. In: FASE. Lecture Notes in Computer Science, vol. 7793, pp. 146–
162. Springer (2013)
16. Clarke, E.M.: The birth of model checking. In: 25 Years of Model Checking. Lecture
Notes in Computer Science, vol. 5000, pp. 1–26. Springer (2008)
17. Heizmann, M., Christ, J., Dietsch, D., Ermis, E., Hoenicke, J., Lindenmann, M.,
Nutz, A., Schilling, C., Podelski, A.: Ultimate automizer with SMTInterpol - (competition contribution). In: TACAS. Lecture Notes in Computer Science, vol. 7795,
pp. 641–643. Springer (2013)
18. Heizmann, M., Dietsch, D., Leike, J., Musa, B., Podelski, A.: Ultimate automizer
with array interpolation - (competition contribution). In: TACAS. Lecture Notes
in Computer Science, vol. 9035, pp. 455–457. Springer (2015)