IC3 software model checking - Lange, Tim Felix (Verfasser); Katoen, Joost-Pieter (Akademischer Betreuer); Weissenbacher, Georg (Akademischer Betreuer); Neuhäußer, Martin R. (Akademischer Betreuer) (Universitätsbibliothek der RWTH Aachen, 2018)