Auto-Active Proof of Red-Black Trees in SPARK.

Claire Dross Yannick Moy

Published in: NFM (2017)

Keyphrases

decision trees
theorem prover
theorem proving
tree models
data sets
tree structure
black and white
similarity measure
relational databases
active databases