How testing helps to diagnose proof failures.

Guillaume Petiot Nikolai Kosmatov Bernard Botella Alain Giorgetti Jacques Julliand

Published in: Formal Aspects Comput. (2018)

Keyphrases

real world
test cases
databases
neural network
information retrieval
computer vision
decision trees
image sequences
expert systems
mobile robot
fuzzy logic
test set
fault diagnosis
theorem prover
theorem proving
model based diagnosis