Cary C. Borchardt

• STAR (simple tool for automated reasoning)