A team from Facebook came to Imperial College to run a lab on [Infer](http://fbinfer.com/), an automatic verification tool based on separation logic,
developed by a team led by Peter O’Hearn. At [Facebook](https://www.facebook.com/inferstaticanalyzer/) Infer is used every day to verify millions of lines of code.
As well as Facebook, Infer is used by Instagram, kiuwan, oculus, Spotify, UBER, WhatsApp, Marks and Spencer, and Sky.
developed by a team led by Peter O’Hearn. This was part of the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) MEng and MSc course (404H).
At [Facebook](https://www.facebook.com/inferstaticanalyzer/) Infer is used every day to verify millions of lines of code and as well as Facebook, Infer is used by Instagram, kiuwan, oculus, Spotify, UBER, WhatsApp, Marks and Spencer, and Sky.
Infer was [open sourced](https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/) in June 2015.
This was part of the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) MEng and MSc course (404H).
