A regression proof selection tool for coq.

Ahmet Çelik Karl Palmskog Milos Gligoric

Published in: ICSE (Companion Volume) (2018)

Keyphrases

theorem prover
regression model
information retrieval

software tools
analysis tool
model selection

theorem proving
search algorithm
user friendly

formal methods
reproducing kernel hilbert space