Text this: Formal methods in computer-aided design