From uncertainty data to robust satisfaction offormal specications