The Binomial Heap Verification Challenge in Viper.

Published in: Principled Software Development (2018)

Keyphrases

data structure
information technology
model checking
asynchronous circuits
probability distribution
information systems
learning automata
signature verification
database
case study
three dimensional
bayesian networks
digital images
false acceptance rate
functional verification