A symbolic model checking appproach to verifying transact-SQL | IEEE Conference Publication | IEEE Xplore