From f304a7fc5c135e6a756eee71351889c08495afff Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 25 Nov 2016 14:46:44 +0000 Subject: [PATCH] Update InferLab.md --- teaching/InferLab.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 0f2d8b3..0629295 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -5,10 +5,12 @@ menu: true parent_menu: menu_order: 5 --- -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/) +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/) 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 to students on the Separation Logic MEng and MSc course.. At Facebook, Infer is used every day to verify millions of lines of code. +- an automatic verification tool based on separation logic to students on the Separation Logic MEng and MSc course. +At Facebook, Infer is used every day to verify millions of lines of code. The tutorial targeted real world Android applications, such as: - [PocketHub](https://github.com/pockethub/PocketHub) - [Wikipedia Android app](https://github.com/wikimedia/apps-android-wikipedia) -- GitLab