Using DimSpec for Bounded and Unbounded Software Model Checking
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2019 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-32408-7 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000104890 |
| Erschienen in | Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings. Ed.: Y. Ait-Ameur |
| Veranstaltung | 21st International Conference on Formal Engineering Methods (ICFEM 2019), Shenzhen, China, 05.11.2019 – 09.11.2019 |
| Verlag | Springer |
| Seiten | 19-35 |
| Serie | Lecture notes in computer science (LNCS) ; 11852 |
| Nachgewiesen in | Scopus Dimensions OpenAlex |
| Globale Ziele für nachhaltige Entwicklung |