1 paper · 1 filter
Jan Mrázek, Martin Jonáš, Jiří Barnat
In semi-symbolic (control-explicit data-symbolic) model checking the state-space explosion problem is fought by representing sets of states by first-order formulas over the bit-vec…