Documents Static modeling (& lifetime) Using types to test, document and reduce system complexity.

Slide 1 Static modeling (& lifetime) Using types to test, document and reduce system complexity Slide 2 Welcome Slide 3 This talk/debate Static modeling Lifetime given…