Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker