Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsmonat/-jahr | 10.2021 |
Sprache | Englisch |
Identifikator | ISSN: 0925-9856, 1572-8102 KITopen-ID: 1000174214 |
Erschienen in | Formal Methods in System Design |
Verlag | Springer |
Band | 58 |
Heft | 1-2 |
Seiten | 5–41 |
Vorab online veröffentlicht am | 20.01.2021 |
Schlagwörter | Invariant generation, Continuous invariants, Ordinary differential equations, Theorem proving |
Nachgewiesen in | Scopus Web of Science Dimensions |