Result: Efficient software model checking with block-abstraction memoization

*Title*:

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

*Author/editor-in-chief*:

*Publication*:

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

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

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

*Subject Added Keywords*:

*DOI*:

10.5282/edoc.29976

*Result*: Efficient software model checking with block-abstraction memoization