Stupid Patent of the Month: A Patent on Using Mathematical Proofs | Electronic Frontier Foundation

In some fields, software bugs are more than the proverbial pain in the neck. When software has to ensure that an airplane lands safely, or that a pacemaker keeps operating, there’s no room for error.The idea that mathematical proofs could be used to prove that software is error-free has been around since the 1970s, and is known as “formal verification.” But like a lot of technologies that some visionaries saw coming, it took time to develop. In recent years, computing power has become cheap enough for formal verification to become practical for more software applications.Unfortunately, last month, the field had a monkey wrench thrown into it, in the form of U.S. Patent No. 10,109,010, which the patent office awarded to a U.K.-based company called Aesthetic Integration Ltd.

Source: Stupid Patent of the Month: A Patent on Using Mathematical Proofs | Electronic Frontier Foundation

Leave a Reply

Your email address will not be published. Required fields are marked *

5 × one =

This site uses Akismet to reduce spam. Learn how your comment data is processed.