Tech News 1: Making bug-checking in software and hardware design cheaper and more efficient

[bob_turner]

The development of complex hardware and software is error-prone and costly. Testing can detect the presence of bugs in these designs, but it cannot prove their absence. One technique that can provide worthful feedback on the correctness of system designs is model checking. Model checking is an automated reasoning technique to find flaws in hardware and software systems. Ph.D. candidate Muhammad Mahmoud has redesigned algorithms to make them more suitable for model checking using GPUs, which allow...

Read more