Formal Verification Made Easy (and fast!)
Examines formal Verification Made Easy (and fast!) and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
The Linux Foundation·22 min
Alan Cha
Discusses fast and Easy Traffic Mirroring and SLO Validation with Iter8 and evaluates key implications for security practitioners.
fasteasytraffic+2
The Linux Foundation·37 min
Nicolas Barry
Reviews formal Verification and Performance Simulation in Real World Applications and evaluates key implications for security practitioners.
simulationformalverification+1
The Linux Foundation·29 min
Kris West
Discusses FDC3 Fast and Easy: Introducing the FDC3 Workbench for Vendors and evaluates key implications for security practitioners.
fdc3fasteasy+2