most citedProcessor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO1999★ 3 cited

Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

Randal E. Bryant, Steven German, Miroslav N. Velev

The logic of equality with uninterpreted functions (EUF) provides a means of abstracting the manipulation of data by a processor when verifying the correctness of its control logic…