A team from Facebook came run a lab on [Infer](http://fbinfer.com/), and industrial verification tool developed by a team led by [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/)
A team from Facebook came run a lab on [Infer](http://fbinfer.com/), an industrial verification tool developed at Facebook by a team led by [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/)
Logic MEng and MSc course.
Petar O'Hearn, Engineering Manager at Facebook, and Jules Villard, Software Engineer, gave a tutorial on how to use Infer
- an automatic verification tool based on separation logic. At Facebook, Infer is used every day to verify millions of lines of code.
