BMCLua: A Translator for Model Checking Lua Programs
A tool for checking ANSI-C programs