KIT | KIT-Bibliothek | Impressum

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

Post, H.; Sinz, C.; Kaiser, A.; Gorges, T.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2008
Sprache Englisch
Identifikator ISBN: 978-1-4244-2187-9
KITopen ID: 1000028429
Erschienen in Proceeding ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 15-19 September 2008, L'Aquila, Italy
Verlag IEEE Computer Society, Washington (DC)
Seiten 88-197
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page