From 86865162edbb6526a5d1c6ae1cfeea7f071f6bb7 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 25 Nov 2016 20:52:21 +0000 Subject: [PATCH] Update InferLab.md --- teaching/InferLab.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 711357f..fb92120 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -8,6 +8,8 @@ menu_order: 5 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. +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).  @@ -24,8 +26,6 @@ The tutorial targeted real world Android applications, such as: - [DuckDuckGo](https://github.com/duckduckgo/duckduckgo) - [k-9 mail client](https://github.com/k9mail/k-9) -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. You can find the slides to the tutorial [here](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/teaching/Bi-Abduction-slides-Sutherland.pdf)  -- GitLab