Towards Formal Proof Metrics.

David Aspinall Cezary Kaliszyk

Published in: FASE (2016)

Keyphrases

formal proof
theorem prover
quality metrics
data sets
expert systems
similarity metrics
real time
multi agent systems
information technology
evaluation metrics
evaluation criteria
evaluation methods
evaluation methodology