Guiding user annotations for units-of-measure verification.

Dominic Orchard Mistral Contrastin Matthew Danish Andrew Rice

Published in: CoRR (2020)

Keyphrases

user interface
user requirements
user preferences
neural network
user feedback
user interaction
relevance feedback
end users
model checking
formal verification
keywords
user profiles
search engine
user defined
information retrieval
data sets
query formulation