Using machine learning techniques to learn temporal logic specifications from user provided traces.