Modeling and Verification of Chess Game Using NuSMV.

Vikram Saralaya, J. K. Kishore, Sateesh Reddy, Radhika M. Pai, Sanjay Singh

Browse the full ACC paper archive.