BDDs for Representing Data in Runtime Verification.

Klaus Havelund, Doron Peled

Browse the full RV paper archive.