Modeling and Verification of D-flip flop using PROMELA and SPIN. - MUFUTUMARI, NEPHAS; RUPERE, TAURAYI (International Journal of Computing & ICT Research, 2013)