Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
1115 commits behind the upstream repository.
2016-11-14-inferlab.md 1016 B 
title: Facebook runs lab on Infer, industrial verification tool

Peter O’Hearn, Engineering Manager, and Jules Villard, Software Engineer at Facebook, gave a tutorial on how to use Infer to the students on the Separation Logic MEng and MSc course (404H).

Infer Lab

Infer is an automatic verification tool based on separation logic and was developed at Facebook by a team led by Peter O’Hearn. At Facebook, Infer is used every day to verify millions of lines of code. The tutorial targeted real world Android applications, such as PocketHub, Wikipedia Android app, DuckDuckGo and k-9 mail client. For more details and slides, see the Infer Lab page.