lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

Roger Leigh <> writes:

> I'm new to the mailing list, and would be interested to know if anyone
> has used Lua in any sort of safety-critical system, in particular for
> regulated industries such as automotive or medical. If anyone has any
> examples of such use in a real product that would be really
> interesting and much appreciated.

It's probably not quite what you mean, but this reminded me of the
"galua" project by Galois; the company is a Haskell shop that's big on

I never used it and believe that galua is mostly a debugger, but
apparently it can also do some static analysis on Lua code. You could
try and ask the authors if they can provide you with more info.

Albert Krewinkel
GPG: 8eed e3e2 e8c5 6f18 81fe  e836 388d c0b2 1f63 1124