Mahdi, Ahmed
[VerfasserIn]
;
Fränzle, Martin
[AkademischeR BetreuerIn];
Becker, Bernd
[AkademischeR BetreuerIn];
Theel, Oliver
[AkademischeR BetreuerIn]
Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book
Titel:
Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models