Timm, Nils; Gruner, Stefan; Sibanda, Prince
(Springer, 2017-10)
An established approach to software verification is SAT-based bounded model checking where a state space model is encoded as a Boolean formula and the exploration is performed via SAT solving. Most existing approaches in ...