Our formal methods tool can be a company – because of AI

• Posted 4 hours ago by bugarela
• 8 points