Verification of Automated Systems Using Software.
Relevant presentation (3rd) starts at 52 minutes.
Very interesting tech talk on using software verification systems.
+
Verification of Automated Systems Using Software.
Relevant presentation (3rd) starts at 52 minutes.
Very interesting tech talk on using software verification systems.