Formal Verification - Robust and Efficient code: Why Formal Verification

Name: Formal Verification - Robust and Efficient code: Why Formal Verification
Duration: 1 h 6 min 16 s
Channel: Kim ALBERTSSON

Kim ALBERTSSON · CERN

Credits and licence

From: Formal Verification - Robust and Efficient code: Why Formal Verification, CERN (at CERN)
Licence: CERN, as CERN states it.
Attribution: © CERN. CERN provides its audiovisual media free of charge for educational and informational use, credited to CERN; this lecture is shown in CERN's own player.
Who can watch: Tweens profiles and older. How courses are placed