- February 25, 2020
- •
- talks• show and tell
Type-based formal verification
In this talk, originally given as an informal show and tell presentation to the 47 Degrees team, Alejandro Serrano provides an introduction to dependent and refinement types, and how they fit in the larger realm of formal verification.
Subscribe to the 47 Degrees YouTube channel to be notified when new videos are added.