2 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary +2
Conventional tools for formal hardware/software co-verification use bounded model checking techniques to construct a single monolithic propositional formula. Formulas generated in…