A proof of correctness for the construction of property monitors.

Katell Morin-Allory Dominique Borrione

Published in: HLDVT (2005)

Keyphrases

information retrieval
theorem proving
decision trees
neural network
digital libraries
preprocessing
desirable properties
construction process
global consistency
linear logic
interactive theorem proving