Treffer: Efficient software model checking with block-abstraction memoization

Titel:

Efficient software model checking with block-abstraction memoization / Karlheinz Friedberger ; Betreuer: Dirk Beyer

Verantwortlich:

Veröffentlicht:

München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2021

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, München, Ludwig-Maximilians-Universität, 2021

Schlagworte:

DOI:

10.5282/edoc.29976

Zusatz-Informationen