Type-based formal verification with Alejandro Serrano

 

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.

Ensure the success of your project

47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.