Incremental bounded model checking for embedded software
Crossref DOI link: https://doi.org/10.1007/s00165-017-0419-1
Published Print: 2017-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Schrammel, Peter http://orcid.org/0000-0002-5713-1381
Kroening, Daniel
Brain, Martin
Martins, Ruben
Teige, Tino
Bienmüller, Tom
Funding for this research was provided by:
ARTEMIS JU (280053)
ERC (295311)
License valid from 2017-09-01