DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking.

Jan Fiedor, Vendula Hrub, Bohuslav Krena, Toms Vojnar

Browse the full RV paper archive.