A Symbolic Model Checker for Database Programs.

Angshuman Jana, Md. Imran Alam, Raju Halder

Browse the full ICSoft paper archive.