Certified programming with dependent types
Because the future of defense is liberal application of math
Video Player
Playlists:
'camp2011' videos starting here
/
related events
00:00
00:00 | 00:00
Dependent types expand the concept of types in programming languages by arbitrary predicates depending on the value of the type. This lecture will introduce the concept and show how it can be used to develop formally verified code.
