Sketchfab adds 3D sound to its 3D model sharing?platform WordPress.com gives you more options to share your posts on social networks The OrCam MyEye helps visually impaired people read and identify things Trainline now gives you real-time train information in France Foodles uses connected fridges to modernize your office canteen Partech Ventures raises $450 million fund Google Acquires Cloud Monitoring Service Stackdriver Agrilyst raises another $1.5M for its intelligent indoor farming platform Google Drive now lets you easily comment on Microsoft Office files, PDFs and images Juniper Square raises $6M for its real estate investment platform Microsoft''s Azure Event Grid hits general availability Andrew Ng officially launches his $175M AI Fund GitLab acquires Gemnasium to strengthen its security services Microsoft drops the price of its standard support for Azure to $100 per month Alphabet launches new cybersecurity company, Chronicle, out of its X moonshot factory Tigera raises $10M to help enterprises secure their cloud native applications Windows 10 can now show you all the data it''s sending back to Microsoft Tracing The Origins Of Leaked Oscar Screeners Malware Finds People Searching For Pirated Simpsons Episodes AMD Inching Closer To ‘Green’ Processors With Next-Gen APUs Congressman Proposes New Warning Label For Violent Video Games O2 Plans Free, Nation-wide Wi-Fi Network In The UK: Jealous? Just In Time For Trenta: Send Your Facebook Friends Starbucks Card eGifts With Adapter, Wi-Fi Comes To A Texas Instruments Graphing Calculator Near You Video: Captain Planet Would Be Proud Of The T-Shirt That Detects Pollution Video: Ben Heck Dazzles & Creates Mobile Phone Charger Powered By Kinetic Energy U R Not (Red-E) For This Pair Of PlayStation Nike Air Force 1s UK Anti-Piracy Firm Buckles Under Scrutiny, Wants To Drop Infringement Cases DC Universe Online: So Popular They Can''t Keep It On Store Shelves TomTom Traffic Stats: Know Your Traffic Patterns (If You''re In Government) Video: LA Noire''s Second Trailer Graces Your Monday With Its Presence Anyone-Can-Enter Newsdemon Contest Puts Up Black Ops, Civilization V Giganews'' Retention Has Reached 900 Days Direct2Drive Now Has A PC Game Rental Service: $5 For 5 Hours Of Gameplay Coca-Cola''s Alan Boehme is taking the CTO reins at Procter & Gamble Spain''s biggest companies are charging into crypto Bringing influencer marketing to small businesses, Unity Influence raises $1 million California DMV changes rules to allow testing and use of fully autonomous vehicles Jumia expands its lending program for small businesses across Africa North Korean hackers stole South Korean and U.S. war plans Andela, a tech training and development outsourcer for African coders, raises $40M Small business lending in Mexico gets a boost Australia''s Startmate accelerator announces its most recent class New research shows that apps can help combat screen addictions Already huge in China, Tuputech pitches its AI that identifies porn and violence stateside How reports from 4chan on the Las Vegas shooting showed up on Google Top Stories Search and social media was filled with clickbait and propaganda in the wake of Vegas shooting StackCommerce buys Joyus to focus on video and expand into fashion, shopping and beauty Fidelity CEO Abigail Johnson says the company is mining cryptocurrencies Stockpile raises $30 million to popularize fractional share investing
Amazon hires Disney SVP Kyle Laughlin as director of Alexa Gadgets
Apple’s battery cases return for the iPhone XS and XR
The Future Of TV Is HTML
This Week On Bullish: Can The Bold Italic Come Back?
Microsoft Drops New Windows 10 Mobile Build, Promises Faster Release Cadence
Cisco Pops 2.5% After Reporting Better-Than-Expected FQ4 Revenue Of $12.84B
Yahoo Sags 4% After Alibaba's Q2 Earnings Disappointment
Microsoft Postpones Ship Date For Its 'Surface Hub' Wall Computer To January
You Can Now Run Windows 10 On Your Mac
Microsoft Drops Another Windows 10 Update
Zulily's Buyout Spike Leaves It Less Valuable Than When It Went Public
Microsoft Launches New Windows 10 Build, Vows To Keep Its Early Access Program Alive


漂流瓶终于彻底拜拜 微信7.0.4新版体验
微信漂流瓶被玩坏了 聊聊漂流瓶里那些事
微信关闭漂流瓶 它曾经满足了我们对世界的好奇
微信暂停漂流瓶功能:对色情内容零容忍
[视频]惠普Chromebook x360 14 G1评测:搭载Chrome OS的商务变形本
特斯拉:北京客户可三年免息融资购车并免费租赁车牌
借贷宝:停止催收百名裸条女大学生 未满23岁将不得借贷
京东白条多地频现盗刷 消费者遭催收公司“逼债”
借款野蛮催收行为将被规范 真是几家欢喜几家愁
为规范网贷催收 上海互金协会发行业倡议书
腾讯解释为什么微信没有夜间模式 真相你相信吗?
一张发行8年的微信唱片:只收录了4首歌曲


Facebook Acquires Assets Of UK Mobile Bug-Checking Software Developer Monoidics

当前位置: 艾金森 > 门户 > 海外资讯

点击量 2
编辑: 1   作者: Techcrunch   时间: 2018/12/6 14:27:08  

Facebook has just agreed to acquire certain assets and hire some employees of UK software verification developer?Monoidics. Pending closing conditions, Monoidics' engineers and tech staff will join Facebook's London office. Facebook will apply the Monoidics automatic formal verification and analysis software to its mobile development process to scan for bugs.

The Monoidics team writes: "In 2009 we started this company with the goal of making the best automatic formal verification and analysis software in the industry. We’ve gone from theoretical ideas in logics of programs all the way to a company with a world-class engineering team, real customers and an office right in the midst of London’s Silicon Roundabout. It’s been incredible journey. . . we’ve loved every minute of it." But now its techies are going to continue their mission at Facebook, though the rest of team isn't coming along. Terms of the deal were not disclosed.

Facebooker Phillip Su?explains, "We have always focused on hiring smart, talented engineers - and in this acquisition, we found many. Their entrepreneurial spirit and desire to make an impact make them great additions to Facebook. We can’t wait to have them here!" As for exactly why Monoidics will be doing with Facebook, the company tells me, "They produce some of the best automatic formal verification and analysis software—code that checks other code for bugs—in the industry, which we will apply to our mobile app development to keep a high quality bar."

Monoidics' Infer Static Analyzer helps developers deliver bug-free code with a focus on memory safety and security. It turns bug detection into a mathematical algorithm, generating a correctness proof that guarantees software has no memory leaks or illegal pointer references. It works on all sizes of apps, and can recognize what parts of a piece of software have been updated so it doesn't redundantly re-scan approved code. Meanwhile, Monoidics' X-Ray system can visualize software to highlight areas of risk so bug-crushing teams know what to investigate.?Monoidics clients included ARM semiconductor, Airbus and Mitsubishi Electric.

Facebook recently moved to a scheduled release cycle where it pushes out iOS and Android updates every month or two months. It also recently launched an Android beta program to let users help it test potential features. All this fast shipping means Facebook could risk pushing out buggy apps. Monoidics could make sure that doesn't happen.