Comment by less_less
3 hours ago
Isn't it more like:
Verification: code does what the specifications say
Validation: specifications describe something we wanted to build
where with formal verification, the specifications are lower-level, so validation is extra-important.
> where with formal verification, the specifications are lower-level, so validation is extra-important.
Specifications don't need to be lower-level. They also compose nicely. Ie you can figure out how to formally specify a 'this doesn't crash' requirement once, and then re-use it on all your projects.