Your Proof Fails? Testing Helps to Find the Reason.

Guillaume Petiot Nikolai Kosmatov Bernard Botella Alain Giorgetti Jacques Julliand

Published in: TAP@STAF (2016)

Keyphrases

data mining
databases
information retrieval
test set
test cases
theorem prover
theorem proving
real time
real world
e learning
web services
case study
automated theorem proving