17 citations · 45 across the 18 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 2 cited
Dense-choice Counter Machines revisited
Florent Bouchy, Alain Finkel, Pierluigi San Pietro
This paper clarifies the picture about Dense-choice Counter Machines, which have been less studied than (discrete) Counter Machines. We revisit the definition of "Dense Counter Mac…
cs.LO2009★ 17 cited
A Metric Encoding for Bounded Model Checking (extended version)
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…