Login / Signup
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