Skip to content
Snippets Groups Projects
Commit f99044c5 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2016-11-14-inferlab.md

parent b0ed44c1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2016-11-14-inferlab.md
+ 1
− 1
View file @ f99044c5
...@@ -6,7 +6,7 @@ title: Facebook runs lab on Infer, industrial verification tool ...@@ -6,7 +6,7 @@ title: Facebook runs lab on Infer, industrial verification tool
Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook,
gave a tutorial on how to use [Infer](http://fbinfer.com/) to the students on the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) MEng and MSc course (404H). gave a tutorial on how to use [Infer](http://fbinfer.com/) to the students on the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) MEng and MSc course (404H).
![Infe-lab](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/images/Infer-lab-1.jpg) ![infer-lab](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/images/Infer-lab-1.jpg)
Infer is an automatic verification tool based on separation logic and was developed at Facebook by a team Infer is an automatic verification tool based on separation logic and was developed at Facebook 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. led by Peter O’Hearn. At [Facebook](https://www.facebook.com/inferstaticanalyzer/), Infer is used every day to verify millions of lines of code.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment