Software Verification

Sort options

Formal Software Verification (edX)

Learn software quality techniques beyond just running test cases. Want to gain software quality skills used in mission critical systems? Modeling checking, symbolic execution and formal methods are techniques that are used for mission critical systems where human life depends upon the system working [...]
No votes yet