4 ms·

I’m also supporting a customer who is using a stratified approach to verification and validation on mission-critical code stratified into layers of static analy

by gbacon 8y ago

I’m also supporting a customer who is using a stratified approach to verification and validation on mission-critical code stratified into layers of static analysis, unit tests, property-based tests, and formal methods.