Exploiting partial variable assignment in interpolation-based model checking
Jančík, Pavel ; Kofroň, Jan ; Alt, Leonardo ; Fedyukovich, Grigory ; Hyvärinen, Antti E. J. ; Sharygina, Natasha
- Link zu diesem Datensatz
- https://d-nb.info/1206786965
- Titel
- Exploiting partial variable assignment in interpolation-based model checking
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Pavel Jančík, Jan Kofroň, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
- Autor(en)
-
- Jančík, Pavel
- Kofroň, Jan
- Alt, Leonardo
- Fedyukovich, Grigory
- Hyvärinen, Antti E. J.
- Sharygina, Natasha
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- ISSN
15728102- DOI
- 10.1007/s10703-019-00342-z
- Online
- https://doi.org/10.1007/s10703-019-00342-z
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Formal methods in system design
- Enthalten in: Formal methods in system design
- Enthalten in: Formal methods in system design
- Stand
- 17.08.2022 22:00
- Im Katalog seit
- 07.03.2026