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.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.[#item_full_content]