Across the globe, a race is under way to crack some of the last mysterious forms of writing that have never been translated.

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...