A Verified Timsort C Implementation in Isabelle/HOL.

Yu Zhang Yongwang Zhao David Sanán

Published in: CoRR (2018)

Keyphrases

theorem prover
natural deduction
implementation details
neural network
efficient implementation
real time
data mining
machine learning
genetic algorithm
special case
management system
general purpose
knowledge based systems