The Year That Software Bugs Ate The World

"In 2017, bugs banned people from Twitter, secretly recorded them in their homes, and even caused a train crash. Is there anything they can’t do?"

The news article by Harry McCracken list many interesting software bugs.

PMA's work on Formal Methods could either prevent or detect many such bugs before they reach real-life systems.




Tags: RDFox, railway infrastructure designs, Datalog, Railway regulations, incremental verification By Christian Johansen
Published Jan. 13, 2018 4:10 PM - Last modified Jan. 13, 2018 4:11 PM