I'd say the application domains of agile processes and formal verification are a bit different. Verification will make sure you are "solving the problem right".

I'd say the application domains of agile processes and formal verification are a bit different. Verification will make sure you are "solving the problem right". And most startups are trying to figure out if they are "solving the right problem".