Software

New tool automates the formal verification of systems software

Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...

Software

How video games are being used by foreign actors and extremists

Video games are easy to exploit, and are being used by actors ranging from IS and Hezbollah for recruitment, to Russia, who use it to spread propaganda during the ongoing invasion of Ukraine. This according to a new report ...

Software

New method could reshape future software development

Sebastian Hönel from Linnaeus University has, in his computer science dissertation, introduced a new method to measure and enhance the quality of software processes. The method focuses on understanding how software is developed ...

page 40 from 40