Program Verification

  • Facebook Open-Sources Mobile Bug-Finder Infer

    … on mobile, people have to update their apps. There is thus added value in catching bugs early, before they are shipped to people’s phones. Combining static analysis with automated tests helps Facebook find crashes and memory leaks before they are shipped, helping us to keep moving fast on mobile. As for the future, they wrote: Program verification…

    David Cohen/ AllFacebookin Social Facebook- 16 readers -