Result: Applying software model checking: experiences and advancements

*Title*:

Applying software model checking: experiences and advancements / Philipp Berger ; Joost-Pieter Katoen, Dirk Beyer

*Author/editor-in-chief*:

*Publication*:

Aachen : Universitätsbibliothek der RWTH Aachen, 2024

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachen. RWTH Aachen University, 2024

*Dissertation note*:

Dissertation, RWTH Aachen University, 2023

*Subject Added Keywords*:

*DOI*:

10.18154/RWTH-2024-10081

*Result*: Applying software model checking: experiences and advancements