State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model described. The state space can used to answer important questions. e. https://www.roneverhart.com/Western-Digital-Ultrastar-DC-HC550-WUH721816ALE6L0-0F38460-16TB-7-2K-RPM-SATA-6Gb-s-512e-ISE-3-5in-Hard-Drive/