IC3 software model checking

Heidelberg [u.a.] / Springer (2019) [Journal Article]

International journal on software tools for technology transfer
Page(s): 1-27

Authors

Authors

Lange, Tim Felix
Neuhäußer, Martin R.
Noll, Thomas
Katoen, Joost-Pieter

Identifier