{"id":71027,"date":"2017-07-20T00:42:52","date_gmt":"2017-07-20T07:42:52","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2017\/07\/everyone-would-love-to-write-code-that-didnt-require-extensive-testing-and-continuous-cycles-of-debugging-but-we-all-know-that-simply-isnt-possible-with-current-technology"},"modified":"2017-07-25T06:00:45","modified_gmt":"2017-07-25T13:00:45","slug":"everyone-would-love-to-write-code-that-didnt-require-extensive-testing-and-continuous-cycles-of-debugging-but-we-all-know-that-simply-isnt-possible-with-current-technology","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2017\/07\/everyone-would-love-to-write-code-that-didnt-require-extensive-testing-and-continuous-cycles-of-debugging-but-we-all-know-that-simply-isnt-possible-with-current-technology","title":{"rendered":"Everyone would love to write code that didn\u2019t require extensive testing and continuous cycles of debugging, but we all know that simply isn\u2019t possible with current technology"},"content":{"rendered":"

<\/p>\n

<\/div>\n

What if a new tool could allow software to be written without bugs, and eliminate the need for time consuming test procedures? In this video, Jon Howell and Jay Lorch discuss \u201cIronFleet,\u201d the first methodology for automatically verifying distributed systems and the subject of a Research Highlights video in the July 2017 issue of CACM.<\/p>\n

ow.ly\/lhds30dwdi5<\/a><\/p>\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

What if a new tool could allow software to be written without bugs, and eliminate the need for time consuming test procedures? In this video, Jon Howell and Jay Lorch discuss \u201cIronFleet,\u201d the first methodology for automatically verifying distributed systems and the subject of a Research Highlights video in the July 2017 issue of CACM. [\u2026]<\/p>\n","protected":false},"author":394,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[34],"tags":[],"class_list":["post-71027","post","type-post","status-publish","format-standard","hentry","category-cybercrime-malcode"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/71027","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/394"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=71027"}],"version-history":[{"count":1,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/71027\/revisions"}],"predecessor-version":[{"id":71120,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/71027\/revisions\/71120"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=71027"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=71027"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=71027"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}