An Assertional Proof of the Stability and Correctness of Natural Mergesort.

K. Rustan M. Leino Paqui Lucio

Published in: ACM Trans. Comput. Log. (2015)

Keyphrases

real world
provably correct
data sets
theorem proving
database
face recognition
multiscale
data structure
description logics
theorem prover
artificial systems
geometry theorem proving