From 30cc20dd8da0c444d184f08a0012a12ef9ecb243 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 25 Nov 2016 14:40:51 +0000 Subject: [PATCH] Update InferLab.md --- teaching/InferLab.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/teaching/InferLab.md b/teaching/InferLab.md index e5fe6d9..a8b2b61 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -5,7 +5,7 @@ menu: true parent_menu: Teaching menu_order: 5 --- -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. -- GitLab