Verification of Selection and Heap Sort Using Locales.

Danijela Petrovic

Published in: Arch. Formal Proofs (2014)

Keyphrases

data structure
databases
information systems
model checking
selection algorithm
database
bayesian networks
multi agent systems
multiresolution
wireless sensor networks
medical images
selection criteria
formal verification