Towards Complete Specifications with an Error Calculus.

Quang Loc Le Asankhaya Sharma Florin Craciun Wei-Ngan Chin

Published in: NASA Formal Methods (2013)

Keyphrases

error rate
high level
provably correct
formal language
transition systems
data sets
machine learning
decision trees
relational databases
query language
formal specification
error analysis
error measure
linear complexity