Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories: an approach to verify safety properties in embedded and hybrid system models.
A. Mahdi. University of Oldenburg, Germany, (2017)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Thesis
%1 phd/dnb/Mahdi17
%A Mahdi, Ahmed
%D 2017
%K
%T Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories: an approach to verify safety properties in embedded and hybrid system models.
@phdthesis{phd/dnb/Mahdi17,
added-at = {2023-12-13T01:06:08.000+0100},
author = {Mahdi, Ahmed},
biburl = {https://www.bibsonomy.org/bibtex/2d8f95abce5d2cdd0fcafbdb19ebb908a/admin},
ee = {http://d-nb.info/1151312479},
interhash = {6cd3f5f7caa15a14ffe010e410212923},
intrahash = {d8f95abce5d2cdd0fcafbdb19ebb908a},
keywords = {},
school = {University of Oldenburg, Germany},
timestamp = {2023-12-13T01:06:08.000+0100},
title = {Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories: an approach to verify safety properties in embedded and hybrid system models.},
year = 2017
}
