From 2a29280e51c000d1339914c89a5ebea4512a8463 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 29 Nov 2016 17:10:28 +0000 Subject: [PATCH] Update 2016-11-14-inferlab.md --- _posts/2016-11-14-inferlab.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2016-11-14-inferlab.md b/_posts/2016-11-14-inferlab.md index 3e6dd76..4d0bd2e 100644 --- a/_posts/2016-11-14-inferlab.md +++ b/_posts/2016-11-14-inferlab.md @@ -6,7 +6,7 @@ The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) an automatic verification tool based on separation logic, developed at [Facebook](https://www.facebook.com/inferstaticanalyzer/) where it is used every day to verify millions of lines of code. - + [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), Engineering Manager and leader of the Infer team, talked about the use of Infer at Facebook. -- GitLab