Phys.org

Divide-and-conquer approach advances system reliability through scalable model checking

Model checking helps automatically verify whether hardware and software systems satisfy specified requirements. It has become an important formal verification technique, but two major challenges remain: state-space explosion, which limits the size of systems that can be checked, and long verification times.