![]() | Up a level |
Schrammel, P., Kroening, D., Brain, M. ORCID: 0000-0003-4216-7151, Martins, R., Teige, T. and Bienmüller, T. (2017).
Incremental bounded model checking for embedded software.
Formal Aspects of Computing, 29(5),
pp. 911-931.
doi: 10.1007/s00165-017-0419-1