A Metric Encoding for Bounded Model Checking.

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro

Browse the full FM paper archive.