Formal Verification with F* and Meta-F*

ECI 2019

The material presented represents work by a large team of people working on F* and Project Everest.

For questions about F* join fstar.zulipchat.com.
  1. Monday, July 22:
  2. Tuesday, July 23
  3. Wednesday, July 24
  4. Thursday, July 25
  5. Friday, July 26