Text this: A roadmap for formal property verification /