A symbolic model checking appproach to verifying transact-SQL.

Rodrigo Diana, Humberto Marques-Neto, Luis E. Zrate, Mark A. J. Song

Browse the full SMC paper archive.