56 citations · 85 across the 9 of their papers we have counts for
1 paper · 1 filter
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique…