自制海上步行机穿越爱尔兰海 nike创新足尖舞蹈鞋 hiriko环保概念小汽车 能感应情绪变化的大耳朵 惊悚的大脑蜡烛 迷你“睡箱” 透明遥控器 钉子开瓶器 球状手机音箱 巨大的烧瓶艺术 会写毛笔字的机器人 可以自动跟随的行李箱 概念手环触摸MP3 一屏幕显示多内容技术 超酷0℃概念直升机 排插理线器 各款iphone外置播放器欣赏 指尖上的名人 节省空间与材料的新型建筑结构 骑行运动浴缸 微软新出手势感应设备 超级方便实用的微波炉和电磁炉 玻璃触摸键盘与鼠标 三维折纸秀 微型圆盘办公套装 海里的餐厅 MC 一片木锤 遥控蝙蝠 全球最薄的磁性传感器 高速书本扫描仪 创意LED发光键盘 彩虹镜子 苔藓地毯 通过行走产生能量的鞋 数字绘画笔 创意食品服装 通信手套 纸质布质太阳能电池 雪铁龙C2汽车人 折叠环保袋 照片讲述机 极具创意的楼梯设计 创意纺车时钟 多用折叠垫 创意发光陶瓷杯 智能水龙头 电动降噪耳塞 魔术电脑屏幕贴膜 无线太阳能充电桌 创意太阳能加热饭盒
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

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

点击量 11
编辑: 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.