Configurable Benchmarks for C Model Checkers

Fink, Xaver; Berger, Philipp (Corresponding author); Katoen, Joost-Pieter

Cham : Springer International Publishing (2022)
Contribution to a book, Contribution to a conference proceedings

In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
Page(s)/Article-Nr.: 338-354


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]