Formal verification of arbiters using property strengthening and underapproximations.

Gadiel Auerbach Fady Copty Viresh Paruthi

Published in: FMCAD (2010)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
coloured petri nets
temporal logic
functional verification
neural network
data sets
orders of magnitude
desirable properties