Sign in

A regression proof selection tool for coq.

Ahmet ÇelikKarl PalmskogMilos 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