Result: IC3 software model checking

*Title*:

IC3 software model checking / Tim Felix Lange ; Joost-Pieter Katoen, Georg Weissenbacher, Martin R. Neuhäußer

*Author/editor-in-chief*:

*Publication*:

Aachen : Universitätsbibliothek der RWTH Aachen, 2018

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

Dissertation, RWTH Aachen University, 2018

*Subject Added Keywords*:

*DOI*:

10.18154/RWTH-2019-01994

*Result*: IC3 software model checking