Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Joey Dodds Profile picture
Joey Dodds
@n1nj4
In order of average hours per week: Family, Sleep, Research Engineer at Galois, Video Games. This is a personal account.
Aug 16, 2018 • 10 tweets • 3 min read
This paper is a must-read if you want to bring formal methods to industry.

Continuous Reasoning: Scaling the impact of formal methods
by Peter W. O’Hearn, Facebook and University College London

dl.acm.org/citation.cfm?i… If you're familiar with formal methods, some of this will be very comfortable.

Composition is important, and it's better if it is automated.

Low false positive rate (for bugs found) is a big deal.